CANTOR'S PARADOX

The contradiction arising if we compare for size the set of all sets, and its own power set . By Cantor's theorem the power set must be bigger (contain more members). But it is itself a subset of the set of all sets, and so cannot be bigger. The paradox shows that the collection of all sets cannot itself be a set-theoretic object.