Pātuhitia tēnei: Mathematical logic