Paris-Harrington theorem

短语

词形变化

the Paris-Harrington theorem

释义与例句

name
  1. 1.

    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.

词源

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

来源：wiktionary