Paris-Harrington theorem (English, name)
expansion: the Paris-Harrington theorem
Senses:
qualifier: mathematical logic
glosses: 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.
Forms:
form: the Paris-Harrington theorem
tags: canonical