The Completeness of IR. Uncountable Sets
We now approach the proof that ℝ is uncountable. Since the set Q of all rational numbers is countable, it is clear that any valid proof of the uncountability of ℝ must use the continuity of ℝ. The classical formulation of this is as follows.