Pātuhitia tēnei: The mathematics of metamathematics