Pātuhitia tēnei: Set theory and its logic