2003/12/18 by Paola Cattabriga, Cattabriga, Paola
Computer Science · Mathematics · Psychology · #03Bxx #03Exx #Computability, Logic, AI Algorithms #FOS: Mathematics #General Mathematics (math.GM) #History and Theory of Mathematics #Philosophy and Theoretical Science #math.GM #msc:03Bxx #msc:03Exx
paper · pdf · doi:10.48550/arxiv.math/0312360
7 pages, the first version of this article has been posted to sci.math in 1998, for more information see http://it.geocities.com/paola_cattabriga/
openalex publication_date 2003/12/18 · arxiv created 2006/07/03 · arxiv updated 2009/12/01 · openalex created_date 2024/04/10 · openalex updated_date 2026/07/28
In 1891 Cantor presented two proofs with the purpose to establish a general theorem that any set can be replaced by a set of greater power. Cantor's power set theorem can be considered to be an extension of Cantor's 1891 second proof and its argument makes use of a well-known self-referring statement. In this article it is shown that, defining the relative complement of the self-referring statement, Cantor's power set theorem cannot be derived. Moreover, it is given a refutation of the first proof, the so-called Cantor's diagonal argument.