Pātuhitia tēnei: Philosophy of mathematics