KnowraGödel sentenceLinked fromLinked fromThe 5 pages that link to Gödel sentence, each with the reason it gives.All 5Broader topic 5Gödel's incompleteness theoremsBroader topic: The self-referential statement at the heart of the first theorem's construction.Gödel numberingBroader topic: Its construction relies on representing formulas and provability through numbers.Kurt GödelBroader topic: Its self-referential construction reveals why a consistent theory can leave an arithmetical statement undecided.Diagonal lemmaBroader topic: Gödel's incompleteness proof uses the lemma to construct this self-referential sentence.Gödel's first incompleteness theoremBroader topic: The fixed point constructed in the proof; neither provable nor refutable if the system is consistent.