A worldly cardinal is an uncountable cardinal κ for which the rank-initial segment Vκ of the cumulative hierarchy is itself a model of Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC). Formally, κ is worldly when

Vκ ⊨ ZFC.

This deceptively compact definition expresses a remarkable structural property. The cumulative hierarchy below κ already contains enough sets, closure, recursion, replacement, powersets, and transfinite structure to satisfy the standard axioms used as the foundation of ordinary mathematics. From the internal perspective of Vκ, it constitutes a complete ZFC environment, even though from the external perspective it remains only an initial segment of the much larger cumulative hierarchy.

The cumulative hierarchy is constructed recursively. Beginning with the empty stage, each successor stage is obtained by taking the powerset of the preceding stage, while limit stages collect together everything appearing earlier. Symbolically,

V₀ = ∅,

Vα+1 = 𝒫(Vα),

and for a limit ordinal λ,

Vλ = ⋃α<λ Vα.

The total set-theoretic hierarchy V is obtained by allowing this construction to continue through all ordinals. A worldly cardinal identifies a stage κ at which this cumulative construction has already become sufficiently rich that Vκ satisfies all of ZFC internally.

This requirement is much stronger than merely demanding that Vκ contain many mathematical objects. Every sufficiently high rank contains natural numbers, real numbers, functions, relations, and increasingly complicated structures. Worldliness instead demands that the entire rank Vκ possess enough internal closure to satisfy the axioms of ZFC collectively. In particular, Replacement becomes a crucial requirement. Definable operations carried out on sets belonging to Vκ must not force their resulting ranges beyond Vκ. Thus worldliness expresses a substantial closure property of the cumulative hierarchy.

One of the most important facts about worldly cardinals is that every inaccessible cardinal is worldly. If κ is strongly inaccessible, then κ is uncountable, regular, and a strong limit cardinal. These properties provide sufficient closure to ensure that Vκ satisfies ZFC. Consequently,

κ inaccessible ⇒ κ worldly.

The converse, however, does not hold. A worldly cardinal need not be inaccessible. Worldliness concerns whether the structure Vκ satisfies ZFC, whereas inaccessibility imposes specific external cardinal-arithmetic conditions upon κ itself. This distinction makes worldly cardinals especially interesting: they demonstrate that a rank can internally support an entire ZFC environment without its height necessarily possessing all the external properties required of an inaccessible cardinal.

This distinction between internal and external perspectives is essential. Suppose κ is worldly. Inside Vκ, the structure possesses what it regards as the complete collections required by ZFC. Yet the surrounding hierarchy V recognizes that Vκ is only an initial segment and contains sets unavailable internally to Vκ. The Power Set Axiom, for example, holds inside Vκ because whenever x belongs to Vκ, the collection of all subsets of x that exist at the appropriate rank is itself represented within Vκ. Nothing in the assertion Vκ ⊨ ZFC requires Vκ to contain sets whose ranks reach or exceed κ.

Worldly cardinals therefore provide an important example of internal mathematical completeness without external maximality. From within Vκ, ordinary mathematics can be developed according to ZFC. From outside Vκ, however, the entire structure appears as a set-sized initial segment of a greater hierarchy. Its ordinals stop at κ, and objects of higher rank remain unavailable to it. A structure can consequently constitute an internally complete environment for standard mathematics while simultaneously being recognized externally as only one bounded stage within a greater set-theoretic architecture.

Worldly cardinals are closely related to transitive models of ZFC, but the concepts should not be identified. If κ is worldly, then Vκ is automatically a transitive model of ZFC. However, an arbitrary transitive model M of ZFC need not equal Vκ for any κ. The worldly-cardinal requirement is considerably more specific: the model must consist of an entire rank-initial segment of the actual cumulative hierarchy. Thus worldliness does not merely ask whether some well-founded environment satisfies ZFC; it asks whether the cumulative hierarchy itself reaches a height at which one of its complete initial segments satisfies ZFC.

This also clarifies the relationship between worldly cardinals and universe axioms. A principle asserting that every set belongs to some Vκ satisfying ZFC is naturally expressed through arbitrarily large worldly cardinals. Such a principle says that no matter which set x is selected, the cumulative hierarchy eventually reaches a worldly stage κ above the rank of x. The set x can then be regarded as living inside a complete rank-initial ZFC environment. Repeating this process yields progressively higher worldly stages and therefore an open-ended hierarchy of set-sized mathematical environments.

The distinction between worldly and inaccessible cardinals becomes particularly valuable in foundational discussions concerning what should count as a mathematical "universe." Grothendieck universes are traditionally associated with strongly inaccessible cardinals because their powerful closure requirements naturally generate structures of the type Vκ. Worldly cardinals isolate a weaker requirement: rather than demanding all of the external cardinal properties of inaccessibility, they ask directly for the resulting rank to satisfy ZFC. In this sense, worldliness focuses upon the theory satisfied by the cumulative stage, whereas inaccessibility focuses upon the cardinal-theoretic properties of its height.

Worldliness should therefore not be interpreted merely as another statement that κ is exceptionally large. Its mathematical significance is qualitative. The defining feature is that the hierarchy beneath κ has accumulated sufficient structural richness to reproduce the complete axiomatic environment of ZFC. This is precisely why the terminology worldly is evocative: Vκ behaves internally like an entire set-theoretic world. It possesses its own ordinals, cardinals, powersets, functions, mathematical structures, and transfinite constructions, all governed by the standard axioms, despite appearing externally as only one rank among higher ranks.

From a foundational perspective, worldly cardinals expose a recurring theme throughout advanced set theory: what appears to be an entire mathematical environment from one standpoint may become a comparatively small object from another. A worldly Vκ internally satisfies ZFC, yet the surrounding hierarchy contains Vκ itself and continues beyond it. If still larger worldly cardinals exist, then the same phenomenon repeats. One obtains a hierarchy in which complete ZFC environments can occur as proper initial segments of larger complete environments, emphasizing the open-ended character of the cumulative hierarchy.

Ultimately, a worldly cardinal is an uncountable cardinal κ satisfying Vκ ⊨ ZFC. Every inaccessible cardinal is worldly, but worldliness by itself does not require inaccessibility. The concept therefore separates the internal axiomatic completeness of a rank-initial segment from stronger external requirements concerning regularity and strong-limit behavior. Worldly cardinals provide a natural bridge between ordinary ZFC, transitive models, universe axioms, and inaccessible cardinals by identifying precisely those heights at which the cumulative hierarchy has already become rich enough to constitute an internally complete ZFC environment. Their importance lies not simply in cardinal magnitude, but in the emergence of an entire mathematical world within a bounded initial segment of the greater set-theoretic hierarchy.