Pātuhitia tēnei: The theory of sets and transfinite arithmetic