Míreanna comhchosúla: Set theory and Logic