Pātuhitia tēnei: Mathematical Logic