Deakstadieđáhus: From Kant to Hilbert