Cantor’s paradox


  1. For any set X, the power set of X has strictly larger cardinality than X.

If X is the “set” of all sets, we have a contradiction.

X should be the largest set, it should contain itself and all the subsets of X as well.

From 1. this cannot be true since its power set is now larger.