Proceedings of the Royal Irish Academy – The logical basis of mathematics