Pātuhitia tēnei: Metamatemática