|
The proof of this theorem is fairly simple using the following construction, which is central to Cantor's diagonal argument.
Consider a function
from a set to its power set. Then we define the set
as follows:
Suppose that is a bijection. Then there must exist an such that . Then we have the following contradiction:
Hence, cannot be a bijection between and
.
|