1.Previous
3.Next

i.e. the set of all subsets of , then there is no surjective function from to . A proof is given in the article Cantor's theorem. As an immediate consequence of this and the Basic Theorem above we have:

For an elaboration of this result see Cantor's diagonal argument.

The set of real numbers is uncountable, and so is the set of all infinite sequences of natural

1.Previous
3.Next