Large Cardinals

Large cardinals are transfinite cardinal numbers whose existence cannot be proved from the standard axioms of set theory — specifically, from ZFC — but which are consistent with ZFC if ZFC itself is consistent. They form a hierarchy of axioms, each stronger than the last, that extend the set-theoretic universe upward into the transfinite and whose consistency strength is measured precisely by proof-theoretic ordinals.

The large cardinal hierarchy — inaccessible cardinals, Mahlo cardinals, measurable cardinals, supercompact cardinals, and beyond — is not merely a set-theoretic curiosity. It provides a well-ordered scale of logical strength. Any two natural mathematical theories of interest tend to be comparable in this scale: one proves the consistency of the other, or they prove the same things. This empirical observation — the linearity of the consistency-strength hierarchy — has no known proof but is one of the most striking patterns in mathematical foundations.

Large cardinal axioms bear directly on questions in computability theory and proof theory: certain natural combinatorial statements about finite objects — Ramsey-type results, well-foundedness of certain ordinal notations — are provably equivalent to large cardinal consistency statements. Whether human mathematical intuition genuinely apprehends such axioms, or whether accepting them is an act of extrapolation within a formal process, remains the open foundational question that the Penrose-Lucas debate circles without resolving.