Showing math.LOShow all
2 papers · 1 filter
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…