FOM: Cantor'sTheorem & Paradoxes & Continuum Hypothesis

Kanovei kanovei at
Sun Feb 11 20:35:58 EST 2001

> From: "Robert Tragesser" <rtragesser at>

>...the proof of Cantor's Theorem really
>seems to be very much more intractably
>dependent on tricks of logic and language

Hardly one can find *tricks* of anything 
(especially in plural) in few lines of the 
diagonal argument. 
What Cantor's theorem is really dependent on is 
the assumption that P(N) (the continuum) *already exists* 
to the moment of writing the proof and, say, will not 
gain new elements until the proof is finished. 


More information about the FOM mailing list