ZFC (Zermelo-Fraenkel with Choice) is the standard foundation for mathematics, resolving paradoxes like Russell's through careful axiomatization. However, Gödel's incompleteness theorems demonstrate that ZFC cannot prove its own consistency and undecidable questions (like CH) exist within it.
ZFC emerged as a response to crisis: Cantor's naive set theory admitted Russell's paradox — the set of all sets that do not contain themselves leads to immediate contradiction. The Zermelo-Fraenkel axioms replaced the naive "any property defines a set" with carefully restricted principles you have already studied: separation lets you carve subsets out of existing sets but not conjure new ones from nowhere; replacement lets you substitute elements via a function; regularity prohibits sets that contain themselves. Each axiom was engineered to permit the mathematics we actually need while blocking the self-referential tangles that generate paradoxes. The Axiom of Choice adds the ability to select elements from infinitely many sets simultaneously, which turns out to be essential for large swaths of analysis and algebra.
But here is the tension Gödel exposed: the same power that makes ZFC capable of expressing all of mathematics makes it incapable of fully validating itself. Gödel's First Incompleteness Theorem states that any consistent formal system strong enough to express basic arithmetic contains statements that are true (in the intended model) but unprovable within the system. For ZFC, the most famous such statement is the Continuum Hypothesis (CH): there is no set whose cardinality lies strictly between ℵ₀ (the countable infinity) and 2^ℵ₀ (the cardinality of the real numbers). Gödel proved in 1940 that CH is consistent with ZFC — you cannot disprove it. Paul Cohen proved in 1963 that the negation of CH is also consistent with ZFC — you cannot prove it either. CH is literally undecidable: neither it nor its negation follows from the axioms.
Gödel's Second Incompleteness Theorem goes further still: ZFC cannot prove its own consistency. This is not a practical worry about hidden contradictions lurking in the axioms — it is a logical ceiling on formal self-justification. If ZFC could prove "ZFC is consistent," that proof could be formalized inside ZFC, and a diagonal argument would then show ZFC is *inconsistent*. The conclusion: any consistent theory powerful enough to encode arithmetic cannot prove its own consistency. ZFC's trustworthiness, to the extent we have it, rests on informal arguments about the cumulative hierarchy of sets, on decades of mathematical experience without contradiction, and on relative consistency proofs that reduce "ZFC is consistent" to "this stronger system is consistent" — trading one assumption for another.
What does this mean practically? It means axiom systems genuinely shape what is provable, and some questions are not merely difficult but formally unanswerable within a given foundation. Mathematicians navigating this landscape use large cardinal axioms — hypotheses like "a measurable cardinal exists" — to settle questions that ZFC leaves open, while knowing these extensions are themselves unprovable in ZFC. The result is not one fixed mathematics but a structured landscape of extensions, each with known consistency strength, each provably independent of the others. ZFC is not broken; it is a foundation with a known and precisely characterized horizon.