KnowraParis–Harrington theoremLinked fromLinked fromThe 4 pages that link to Paris–Harrington theorem, each with the reason it gives.All 4Broader topic 2Related 1Compared with 1Peano arithmeticRelated: It gives a concrete example of a natural mathematical claim beyond the theory’s proving power.Independence (mathematical logic)Broader topic: It gives a natural combinatorial example of a sentence independent of Peano arithmetic.Goodstein's theoremCompared with: It offers a different combinatorial route to a natural arithmetic statement beyond Peano arithmetic.Gödel's first incompleteness theoremBroader topic: The first natural combinatorial independence result, published in 1977.