A Non-Constructive Proof of Cantor's Theorem
arXiv:2510.14534
Abstract
We offer a new proof (and review some known proofs) of Cantor's Powerset Theorem (1891), which concerns the non-existence of a surjective function from a set onto its powerset.
2 pages