Proposition: The set P(N) is not
countable; i.e. it is uncountable. For an elaboration of this result see Cantor's diagonal argument. The set of
real numbers is uncountable (see Cantor's first uncountability proof), and so is the set of all
infinite sequences of natural
numbers.
read more >>