Stav dette: From Kant to Hilbert