Pātuhitia tēnei: Elements of mathematical logic