Seol mar théacs é seo: From Kant to Hilbert