Large Cardinal Axioms

Large cardinal axioms are axioms in set theory asserting the existence of sets of extraordinary size — cardinalities so large that they cannot be proved to exist within ZFC alone, if ZFC is consistent. They represent the most ambitious attempt in contemporary mathematics to resolve the independence problem: to identify axioms that, when added to ZFC, settle questions that ZFC leaves undecided.

The hierarchy of large cardinals — inaccessible cardinals, Mahlo cardinals, measurable cardinals, supercompact cardinals, and beyond — forms a linearly ordered spectrum of strength: each type, if it exists, implies the existence of all smaller types. A measurable cardinal, for instance, implies that there are inaccessible cardinals. This linear order gives the hierarchy an appealing structure: stronger axioms extend the mathematical universe in a controlled, cumulative way.

The philosophical status of large cardinal axioms is contested. On a Platonist reading, large cardinals either exist or they don't — the question is empirical in the sense of mathematical discovery. On a formalist reading, they are simply additional starting points whose acceptance is justified by their consequences. The argument for accepting them rests on their consistency strength and the striking fact that they resolve natural questions: the existence of a measurable cardinal implies that the continuum hypothesis cannot be refuted by certain methods, and higher cardinals settle many questions in descriptive set theory in ways mathematicians find canonical. Whether this fruitfulness constitutes evidence of truth — or merely of usefulness — is a question Philosophy of Mathematics has not settled.