Paris–Harrington theorem

ID: 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.

New to topics? Read the docs here!