| |||
|
|
Points. Tarski told me the following story. He tried to publish his theorem ( |X|=|X*X| -> AxiomOfChoice ) in the Comptes Rendus Acad. Sci. Paris but 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. And Tarski said that after this misadventure he never tried to publish in the Comptes Rendus. A System of Axioms of Set Theory for the Rationalists, Jan Mycielski UPD: Комментарий в скобочках мой. Разумеется, там должно быть (For all infinite sets X there exists a bijection of X to X × X) → (Axiom of Choice). |
||||||||||||||