Paris–Harrington theorem (Q7137494)
states that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic
Language  Label  Description  Also known as 

English 
Paris–Harrington theorem

states that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic

Statements
Sitelinks
Wikipedia(4 entries)
 enwiki Paris–Harrington theorem
 plwiki Twierdzenie ParisaHarringtona
 ptwiki Teorema de ParisHarrington
 svwiki ParisHarringtons sats