A Non-Constructive Proof of Cantor's Theorem

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.