The story
Named after Jeff Paris and Leo Harrington, who carried out work on this topic.
Etymology from Wiktionary, CC BY-SA 4.0.
Paris-Harrington theorem
Today it means: A theorem stating that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic. Full definition →