Cantor's theorem
THEOREM
The powerset of a set \(A\) has a strictly greater cardinality than \(A\) itself.
Proof available
Parent topics
Set theory