Pātuhitia tēnei: Philosophy of mathematics.