Pātuhitia tēnei: A theory of sets