Can We Prove Consistency?

Set Theory · Axiom Academy

INTRO Can We Prove Consistency? Gödel's stunning answer to Hilbert's dream. In 1900, David Hilbert had a bold vision: prove that mathematics is consistent —that we could never derive a contradiction from our axioms. This became known as Hilbert's Program . Then Kurt Gödel dropped a bombshell. Click through the timeline to see how mathematics changed forever. What Does "Consistent" Even Mean? Let's make this concrete. Which of these situations represents a consistent theory? Since we can't prove absolute consistency, mathematicians play a different game: relative consistency . No sufficiently powerful theory can prove its own consistency. Hilbert's dream was impossible! Relative consistency lets us show "if A is consistent, then B is consistent" by building models. By constructing special models like L (constructible universe) and forcing extensions , we prove relative consistency results.

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