# Cantor's theorem

THEOREM

The powerset of a set $$A$$ has a strictly greater cardinality than $$A$$ itself.

Proof available