Gödel's Consistency Proof

Set Theory · Axiom Academy

LESSON Gödel's Consistency Proof How Gödel proved the consistency of AC and GCH using the constructible universe Gödel's main theorem can be stated as follows: In words: If ZF (Zermelo-Fraenkel set theory) is consistent, then ZFC (ZF + Axiom of Choice) together with the Generalized Continuum Hypothesis is also consistent. This means we cannot derive a contradiction from AC or GCH using only the ZFC axioms - these statements are "safe" to assume. 2. The Proof Strategy: L as a Model Gödel's proof works by constructing an explicit model of ZFC + GCH. The key insight is to use the constructible universe L: Assume ZF is consistent (has a model M) Within M, construct the inner model L Therefore, ZFC + AC + GCH is consistent The beauty of this proof is that it's constructive - we don't just prove consistency exists, we exhibit a specific model where AC and GCH hold. Notice that Gödel's result is a relative consistency proof: it assumes ZF is consistent and proves ZFC + GCH is consistent. This is the best we can do! Gödel's Second Incompleteness Theorem tells us that: So we cannot prove "ZF is consistent" within ZF itself. We can only prove statements of the form "if T₁ is consistent, then T₂ is consistent." This is still extremely valuable - it tells us that AC and GCH don't add any new contradictions beyond what might already exist in ZF. Gödel's result was only half the story. To show that AC and GCH are truly independent of ZFC, we also need to show:

This is the written version of the interactive lesson above. See the full Set Theory course.