Transfinite Number

A transfinite number is any number that exceeds all finite numbers while remaining a well-defined mathematical object. The concept was introduced by Georg Cantor in the 1870s–1880s to make precise the intuition that some infinite collections are larger than others. Cantor demonstrated that the infinite comes in different sizes: the integers and the rationals are the same infinite size, but the real numbers are strictly larger — an infinity that cannot be put in one-to-one correspondence with the integers.

Transfinite numbers fall into two families: transfinite cardinals measure the size of infinite sets, while transfinite ordinals measure the order-type of well-ordered sequences. The distinction matters: two sets can have the same cardinal size while having different ordinal structure. The ordinal hierarchy — omega, omega-plus-one, epsilon-naught, the Bachmann-Howard ordinal — is the direct subject of ordinal analysis, where the reach of a formal system into this hierarchy measures its proof-theoretic strength. The existence and consistency-strength of large cardinal axioms extends the transfinite hierarchy far beyond what can be surveyed by any single formal system.