Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC) is the standard foundational framework of modern mathematics. Rather than beginning with numbers, functions, spaces, or algebraic structures, ZFC begins with a single primitive concept: the set. Every mathematical object is ultimately represented as a set or constructed from sets. Natural numbers, integers, rational numbers, real numbers, functions, relations, topological spaces, groups, fields, manifolds, and even the transfinite hierarchy itself can all be rigorously developed within this unified framework. As a result, ZFC serves as the common foundational language through which virtually every branch of contemporary mathematics is formalized.

The development of ZFC emerged from efforts to resolve the logical paradoxes discovered during the late nineteenth and early twentieth centuries. Naïve set theory originally permitted the formation of arbitrary collections, leading to contradictions such as Russell's Paradox, which considered the set of all sets that do not contain themselves. These paradoxes demonstrated that unrestricted set formation could not serve as a consistent foundation for mathematics. Ernst Zermelo introduced an axiomatic approach in 1908, while Abraham Fraenkel and Thoralf Skolem later refined and expanded the system. The resulting theory became known as Zermelo–Fraenkel set theory (ZF). The addition of the Axiom of Choice produces the complete system known as ZFC.

Unlike naïve set theory, ZFC does not permit arbitrary set formation. Instead, sets exist only when their existence is justified by specific axioms. This restriction prevents the construction of paradoxical collections while preserving the ability to develop ordinary mathematics. Rather than asserting that every definable collection forms a set, ZFC carefully specifies the legitimate operations by which new sets may be obtained from previously existing ones. In this manner, the cumulative hierarchy of sets grows in a controlled and well-founded fashion, ensuring that every mathematical object ultimately arises through a finite sequence of axiomatically sanctioned constructions.

The axioms of ZFC collectively describe how sets may be created and related. The Axiom of Extensionality states that sets are determined entirely by their elements. The Axiom of Empty Set guarantees the existence of the unique set containing no elements. The Axiom of Pairing allows two sets to be collected into a single set, while the Axiom of Union forms the union of the members of a set. The Power Set Axiom asserts that every set possesses a set containing all of its subsets, providing the basis for the exponential growth of cardinalities. The Axiom of Infinity guarantees the existence of an infinite set, permitting the construction of the natural numbers. The Axiom Schema of Separation allows subsets to be formed from existing sets according to definable properties, while the Axiom Schema of Replacement permits the images of sets under definable functions to themselves be sets. The Axiom of Foundation ensures that every nonempty set contains an element disjoint from itself, eliminating infinitely descending membership chains. Finally, the Axiom of Choice asserts that arbitrary families of nonempty sets possess choice functions selecting one element from each member of the family.

Among these principles, the Axiom of Choice (AC) occupies a uniquely significant position. It states that given any family of nonempty sets, it is possible to choose one element from each set simultaneously, even when no explicit rule for making the selections is available. Although this principle appears intuitively reasonable, it has profound mathematical consequences. The Axiom of Choice is equivalent to several fundamental theorems, including the Well-Ordering Theorem, which states that every set can be well ordered, and Zorn's Lemma, one of the most widely used tools throughout algebra and analysis. Many foundational results in modern mathematics depend directly or indirectly upon these equivalent formulations.

One of the most remarkable discoveries concerning ZFC is that certain important mathematical questions cannot be resolved from its axioms alone. Kurt Gödel demonstrated that the Continuum Hypothesis (CH) cannot be disproved from ZFC if ZFC itself is consistent. Paul Cohen later proved that CH likewise cannot be proved from ZFC. Together, these results established that the Continuum Hypothesis is independent of the standard axioms of set theory. Similar independence phenomena occur throughout modern set theory, showing that ZFC provides a remarkably robust foundation while still permitting multiple equally consistent mathematical universes distinguished by additional axioms.

ZFC also provides the foundational framework for the study of transfinite ordinals, cardinal arithmetic, large cardinals, forcing, inner model theory, descriptive set theory, and cardinal characteristics of the continuum. Every concept discussed within the cumulative hierarchy—from ω and ℵ₀ through inaccessible, measurable, supercompact, extendible, Berkeley, and many other large cardinals—is ordinarily formulated relative to ZFC. Although stronger axioms may be introduced to investigate increasingly powerful infinite structures, these extensions are almost always built upon the underlying framework established by ZFC. Consequently, ZFC functions as the common language through which much of higher set theory is expressed.

Despite its extraordinary success, ZFC is not regarded as the only possible foundation for mathematics. Alternative systems such as Zermelo–Fraenkel set theory without Choice (ZF), New Foundations (NF), Morse–Kelley class theory (MK), von Neumann–Bernays–Gödel set theory (NBG), Constructive Set Theory, Homotopy Type Theory, and various category-theoretic foundations explore different conceptions of mathematical existence. Within advanced set theory, some of the strongest proposed axioms—such as Reinhardt cardinals—are incompatible with the Axiom of Choice and therefore cannot exist within ZFC. These alternative frameworks illustrate that while ZFC serves as the standard foundation of mathematics, the investigation of foundational systems extends far beyond its boundaries.

From a philosophical perspective, ZFC embodies the iterative conception of sets. According to this view, sets are not formed all at once but emerge through an ever-expanding cumulative hierarchy. At each stage, new sets are constructed only from sets that already exist, producing an endlessly ascending sequence of increasingly rich mathematical universes. This iterative conception explains both the strength and the consistency of the theory. By preventing unrestricted self-reference and circular membership, the cumulative hierarchy avoids the paradoxes that plagued earlier formulations of naïve set theory while preserving the expressive power necessary for virtually all of classical mathematics.

Ultimately, Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC) provides the standard axiomatic foundation upon which modern mathematics is built. Through its carefully formulated axioms, it establishes a rigorous framework for constructing every ordinary mathematical object while supporting the development of transfinite arithmetic, large-cardinal theory, forcing, descriptive set theory, and countless other disciplines. Although later research has revealed both its extraordinary power and its inherent limitations through independence results, ZFC remains the central reference point for contemporary mathematical foundations. Its significance lies not merely in describing sets themselves but in providing the logical architecture from which the vast landscape of modern mathematics is systematically derived.