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 1Independence (mathematical logic)Broader topic: It gives a natural combinatorial example of a sentence independent of Peano arithmetic.Gödel's first incompleteness theoremBroader topic: The first natural combinatorial independence result, published in 1977.