📂Set Theory

Proof of Cantor's Theorem

Theorem ¹

For an arbitrary set $X$ and its power set $\mathscr{P} (X)$, $$\operatorname{card}(X)<\operatorname{card}(\mathscr{P} (X))$$