Pātuhitia tēnei: Set theory and logic