Source: wikibot/paris-harrington-theorem
= Paris–Harrington theorem
{wiki=Paris–Harrington_theorem}
The Paris–Harrington theorem is a result in the field of mathematical logic and combinatorics, specifically in the area of set theory and the study of large cardinals. It is a form of combinatorial principle that exemplifies the limits of certain deductive systems, particularly in relation to the axioms of Peano arithmetic and other standard set theories.