[FOM] Infinity and the "Noble Lie"

Giovanni Lagnese lagnese at ngi.it
Fri Jan 6 23:24:59 EST 2006


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 



More information about the FOM mailing list