[FOM] Infinity and the "Noble Lie"
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
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