Pātuhitia tēnei: Axiomatic set theory