3 papers
math.HO2026
Cantor's Powerset Theorem, Graph-Theoretically
Saeed Salehi
We study Cantor's powerset theorem from a graph-theoretic perspective, consider some alternative proofs to Cantor's original, and provide a new proof.
math.LO2025
A Non-Constructive Proof of Cantor's Theorem
Saeed Salehi
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.
math.LO2025
Cantor's Non-Equinumerosity Theorems, Inductively
Saeed Salehi
In the first, pre-college level part, we present a proof by mathematical induction for Cantor's theorem on the uncountability of the infinite binary strings and the real numbers. I…