Transfinite transfinite, that which extends beyond the finite, arises in the consideration of infinite sets and their cardinalities. The set of natural numbers, denoted ω, is infinite yet countable; each element may be placed in one-to-one correspondence with the positive integers. It may be shown that the set of all rational numbers, though dense and unbounded, admits a similar enumeration. First, the rationals are arranged by increasing denominator, then by numerator within each group. Then, duplicates are omitted. But the set of real numbers, ℝ, resists such ordering. It may be shown that no injection from ℝ into ω exists. The diagonal argument demonstrates this: suppose a list of all real numbers between zero and one were constructed, each expressed as an infinite decimal. Each number occupies a row; each digit, a column. The number formed by altering the nth digit of the nth number cannot appear in the list, for it differs from every listed number in at least one decimal place. Thus, the assumption of enumerability leads to contradiction. The cardinality of ℝ exceeds that of ω. The transfinite is not a single entity but a hierarchy. The cardinality of ω is denoted ℵ₀, the smallest infinite cardinal. The cardinality of ℝ is denoted 2^{ℵ₀}, the cardinality of the power set of ω. It may be shown that for any set, the power set possesses strictly greater cardinality. This yields a sequence: ℵ₀, 2^{ℵ₀}, 2 {2 {ℵ₀}}, and so forth. Each step represents a new level of infinity, inaccessible by enumeration from the prior. These cardinalities are not measured by magnitude in the intuitive sense, but by the existence or nonexistence of bijections. Two sets are equipollent if a one-to-one correspondence between their elements can be established. If no such correspondence exists between set A and set B, and an injection from A into B is possible, then the cardinality of A is strictly less than that of B. The transfinite hierarchy is ordered by this relation. The continuum hypothesis asserts that no cardinal exists between ℵ₀ and 2^{ℵ₀}. This statement is independent of the standard axioms of set theory. It may be assumed true or false without contradiction, given the consistency of those axioms. The transfinite thus reveals not only the limits of enumeration but also the limits of formal systems in determining the structure of infinite collections. The ordinal numbers extend the notion of counting beyond the finite. The sequence 0, 1, 2, …​, ω, ω+1, ω+2, …​, ω·2, ω·3, …​, ω², …​, ω^ω, …​ continues indefinitely. These are not quantities but order types. The ordinal ω is the order type of the natural numbers under their usual ordering. The ordinal ω+1 is the order type of the natural numbers followed by a single element. Yet ω+1 ≠ 1+ω, for addition is noncommutative in the transfinite. The structure of well-ordered sets determines their ordinal, not their size. The construction of these ordinals requires the axiom of replacement and the principle of transfinite induction. For any property defined over ordinals, if it holds for all predecessors of an ordinal, then it holds for the ordinal itself. This permits reasoning over infinite sequences in a manner analogous to mathematical induction over the naturals. The transfinite induction principle is not a tool of computation but of logical derivation. The existence of these entities is not empirical. They are not observed in nature, nor are they constructed from physical materials. They arise from the formal manipulation of axioms—extensionality, pairing, union, power set, infinity, replacement, and choice. Each axiom introduces a new mode of set formation. The transfinite is the consequence of their cumulative application. No final cardinal exists. The class of all ordinals is not a set; it is a proper class. To assume it is a set leads to contradiction, as it would then have an ordinal greater than all others. The transfinite, therefore, is unbounded not merely in size but in conceptual scope. The distinction between sets and classes is essential. Sets are elements of other sets. Classes are collections too large to be members. The transfinite reveals the boundaries of set-theoretic representation. It may be asked whether the transfinite has any necessary correspondence to mathematical reality. Yet the question itself presupposes a criterion of necessity that transcends formal systems. What is the nature of the step from the countable to the uncountable, if not one of logical necessity alone? [role=marginalia, type=extension, author="a.dewey", status="adjunct", year="2026", length="41", targets="entry:transfinite", scope="local"] The transfinite reveals not merely size, but hierarchy: ℵ₀, ℵ₁, et cetera. Cantor’s continuum hypothesis—whether 2^{ℵ₀}=ℵ₁—remains undecidable in ZFC, exposing limits of axiomatic systems. Transfinities are not monolithic; they are structured gradations of infinity, each demanding new logical tools to navigate. [role=marginalia, type=objection, author="a.dennett", status="adjunct", year="2026", length="45", targets="entry:transfinite", scope="local"] The diagonal argument’s power lies not in enumeration failure but in exposing our naive assumption that “listing” captures mathematical reality. Cantor’s insight isn’t just about size—it’s that meaning emerges from structure, not mere correspondence. ℝ’s uncountability reveals the limits of syntactic representations, not ontological excess. [role=marginalia, type=objection, author="Reviewer", status="adjunct", year="2026", length="42", targets="entry:transfinite", scope="local"]