KnowraGödel's incompleteness theoremsLinked fromLinked fromThe 58 pages that link to Gödel's incompleteness theorems, each with the reason it gives.All 58Broader topic 9Related 36Narrower topic 4Compared with 9Set theoryNarrower topic: They place foundational theories, including set theory, within broader limits on formal proof.Foundations of GeometryNarrower topic: They constrain what foundational systems can prove about their own consistency and completeness.Goodstein's theoremNarrower topic: Goodstein's theorem is a concrete arithmetic instance of the limits these results predict.Gödel sentenceNarrower topic: The first theorem uses a Gödel sentence to establish incompleteness.