Pātuhitia tēnei: Introductory formal logic of mathematics