Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



Matheology § 236
Posted:
Apr 4, 2013 3:26 AM


Tarski?s theorem: (For all infinite sets X there exists a bijection of X to X × X) ==> (Axiom of Choice). [...] Fréchet and Lebesgue refused to present it. Fréchet wrote that an implication between two well known propositions is not a new result. Lebesgue wrote that an implication between two false propositions is of no interest. [Jan Mycielski: "A System of Axioms of Set Theory for the Rationalists", Notices of the AMS 53,2 (2006) 206213] http://www.ams.org/notices/200602/feamycielski.pdf
Regards, WM



