Pātuhitia tēnei: From Kant to Hilbert