[FOM] Infinity and the "Noble Lie"

[Giovanni Lagnese]

joeshipman at aol.com wrote:

> Now consider the Paris-Harrington Theorem, which changes the conclusion of 
> Ramsey's theorem to require that the monochromatic subset S be "relatively 
> large" (|S|>min(S)). All proofs of this theorem must assume the axiom of 
> infinity.

Are you saying this theorem implies the axiom of infinity?
Otherwise, what do you precisely mean by "must assume the axiom of 
infinity"?

GL