Word.ws English Dictionary

Paris-Harrington theorem

Paris-Harrington theorem proper noun: 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.

Proper noun

the Paris-Harrington theorem

  1. (mathematical logic) 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.

Origin of Paris-Harrington theorem

Named after Jeff Paris and Leo Harrington, who carried out work on this topic.

Questions about Paris-Harrington theorem

What does Paris-Harrington theorem mean?
Paris-Harrington theorem 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.
What part of speech is Paris-Harrington theorem?
Paris-Harrington theorem is a proper noun.

Words near Paris-Harrington theorem in the dictionary

  1. Paris syndrome
  2. Paris tea
  3. Paris white
  4. Paris-Brest
  5. Paris-Brests
  6. Paris-Harrington theorem
  7. paris-mutuels
  8. Paris-Trousseau syndrome
  9. parisaponin
  10. Parise
  11. Pariseau

Source and license

Adapted from Wiktionary: Paris-Harrington theorem (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Paris-Harrington theorem.” Word.ws, https://word.ws/paris-harrington_theorem. Based on Wiktionary, CC BY-SA 4.0.