``In the incompleteness of the first draft'' -- the discovery of the non-countability of the real numbers (Q998614)

This is a beautiful article discussing the first proofs of the uncountability of the reals based on the correspondence between Cantor and Dedekind. The author remarks that Cantor's first proof (which is different from the published versions) gives, without much ado, Baire's category theorem for the reals in the following form: If \((M_n)\) is a sequence of nowhere dense subsets of \(\mathbb R\), then the union of all sets \(M_n\) does not contain an interval with positive length.