Exercise 1564Logic, sets and proofs › Countability and cardinalityL1Added 3 Nov 2026
$\mathbb{R}$ is uncountable
#reals#uncountable#Cantor diagonal
Statement
Prove that is uncountable.
Hint
Cantor's diagonal argument on .
Show solutionHide solution
Solution
Setup. Suppose is countable, with enumeration .
Diagonal. Write each as a decimal expansion avoiding trailing 's. Define by if the -th digit of , and otherwise.
Contradiction. but for all (differ in -th place). Contradicts enumeration.
Conclusion. is uncountable.