0
$\begingroup$

http://en.wikipedia.org/wiki/Paris%E2%80%93Harrington_theorem states that independence of "The strengthened finite Ramsey theorem" from PA is proved by implying consistency of PA. But how do we know that it's actually true for the Model that's Natural Numbers. How was it even proved for Natural Numbers? Under what logical system is it proved, if not for Peano's Axioms? And how do we know that such a logical system on which it's proved actually models Natural Numbers?

  • 0
    ha, i meant the "independence" of the theorem is proved by implying the consistency of PA. Editing the question now. Thanks!2012-10-21

1 Answers 1

3

One of the common frameworks for mathematics is the axiomatic set theory ZFC. This system proves the consistency of second-order PA. In particular, we can show that the finite von Neumann ordinals form a model of this system.

In particular every model of second-order PA is a model of first-order PA.

The strengthened Ramsey theorem can be proved in second-order PA, as stated in the Wikipedia page linked in the question. Therefore ZFC proves that this theorem is true for the natural numbers.

As discussed in this question when we say that a theorem is "true for the natural numbers" we mean that it holds for the standard model of PA (which is the model of second-order PA).

  • 0
    @rajeshsr: I'm sorry. I missed your comment. I think that asking for resources in order to understand the difference would be a reasonable question on its own. You may want to start with the following: http://math.stackexchange.com/questions/23799 http://math.stackexchange.com/questions/141759 http://math.stackexchange.com/questions/123566 http://math.stackexchange.com/questions/79536 http://math.stackexchange.com/questions/1235662012-10-22