What I declare and believe to have demonstrated in this work as well as in earlier papers is that following the finite there is a transfinite (transfinitum)—which might also be called supra-finite (suprafinitum), that is, there is an unlimited ascending ladder of modes, which in its nature is not finite but infinite, but which can be determined as can the finite by determinate, well-defined and distinguishable numbers.

From Kant to Hilbert (1996)