Cantor's paradox

In mathematics, Cantor's paradox refers to two related paradoxes in naive set theory:
 The set of all cardinal numbers does not exist.
 The set of all sets does not exist.

In modern set theory, these are not paradoxes, as "all cardinal numbers" and "all sets" are proper classes, not sets.

 Proof 
These results are a consequence of Cantor's theorem, which states that the cardinality of a set is less than the cardinality of its power set (the set of all subsets).

Suppose that a set  of all sets exists, and let  be the union of all elements of . Because it is the union, the cardinality of  is greater than or equal to the cardinality of all elements of .

Now let  be the power set of . Since  is a set, it is an element of . By Cantor's theorem, the cardinality of  is strictly less than the cardinality of ; this contradicts the cardinality of  being the maximum of all cardinalities in .

Thus, no set of all sets can exist.

The proof that the set of all cardinal numbers does not exist is similar. Since for each cardinal, there exists a set with that cardinality, a set of all cardinalities corresponds to a set of sets, one of each cardinality. From here, the proof is the same: the power set of the union gives a set that must be larger than every cardinality in the original set.

Category:Mathematical paradoxes