[27H]Note storiche.
La proposizione “\(|A^ 2|=|A|\) vale per ogni insieme infinito” è equivalente all’assioma della scelta. Questo fu dimostrato da Tarski [ 26 ] nel 1928; l’articolo è online e scaricabile e contiene altre sorprendenti equivalenze. Si veda anche [ 24 ] Parte 1 Sezione 7 pagina 140 asserzione CN6.
Jan Mycielski [ 21 ] riporta: «Tarski told me the following story. He tried to publish his theorem (stated above) 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».
Questo aneddoto ci mostra quanto (prima dei lavori di Godel e Cohen [ , anche i matematici più importanti non capissero l’importanza dell’assioma della scelta.