Pātuhitia tēnei: First Order Mathematical Logic