paris-harrington theorem
Word Rarity
Rare
Frequency: Zipf frequency 3.20 in modern English
33
Scrabble Score
22
Letters
6
Syllables
12
Unique Chars
Meaning
name
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.
Etymology
Inflected Forms
the Paris-Harrington theorem (canonical)