Proof of Cantor's Theorem
Theorem 1
For an arbitrary set $X$ and its power set $\mathscr{P} (X)$, $$ \operatorname{card}(X)<\operatorname{card}(\mathscr{P} (X)) $$
이흥천 역, You-Feng Lin. (2011). 집합론(Set Theory: An Intuitive Approach): p251. ↩︎
For an arbitrary set $X$ and its power set $\mathscr{P} (X)$, $$ \operatorname{card}(X)<\operatorname{card}(\mathscr{P} (X)) $$
이흥천 역, You-Feng Lin. (2011). 집합론(Set Theory: An Intuitive Approach): p251. ↩︎