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.
Articles by others on the same topic
There are currently no matching articles.