Pātuhitia tēnei: Towards a philosophy of real mathematics