[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 


More information about the FOM mailing list