Paris-Harrington theorem

English

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

the Paris-Harrington theorem

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

单词	Paris-Harrington theorem
释义	Paris-Harrington theorem English Etymology Named after Jeff Paris and Leo Harrington, who carried out work on this topic. Proper noun the Paris-Harrington theorem (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.
随便看	Schlafmittel Schlafmitteln Schlafmittels Schlafmohn Schlafmütze Schlafmützen schlafmützig schlafmützige schlafmützigem schlafmützigen schlafmütziger schlafmütziges Schlafqualität Schlafqualitäten Schlafraum Schlafraume Schlafraumes Schlafraums Schlafrock Schlafrockes Schlafrocks Schlafräume Schlafräumen Schlafröcke Schlafröcken