Paris-Harrington theorem English

Meaning Paris-Harrington theorem meaning

What does Paris-Harrington theorem mean?

Paris-Harrington theorem properNoun

— (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.