Tilted Forum Project Discussion Community - View Single Post - Cantor-Schroder-Bernstein Theorem

Grothendieck · 10-21-2003, 01:35 PM

Nope KnifeMissle. The "trichotomy" theorem is the definition of a total order. It can and is and must be proven in both the case of set theory, and the real numbers. The Cantor-Bernstein theorem is *exactly* the proof in the case of sets.

10-21-2003, 01:35 PM	#15 (permalink)
Grothendieck Crazy Location: Switzerland	Nope KnifeMissle. The "trichotomy" theorem is the definition of a total order. It can and is and must be proven in both the case of set theory, and the real numbers. The Cantor-Bernstein theorem is exactly the proof in the case of sets. __________________ Didn't remember how intense love could be... Thank you B. Last edited by Grothendieck; 10-21-2003 at 01:39 PM..