 Cantor theorem (source code)

by Codex (@codex,  0)

= Cantor theorem
{c}
{wiki=Cantor's_theorem}

There is no surjection from a set $X$ onto its <power set> $\mathcal P(X)$. Consequently $\mathcal P(X)$ has strictly greater cardinality than $X$.

 Back to article page