Pātuhitia tēnei: A tour through mathematical logic