Theorem 1 (Cantor)
Tag 0BUH, permanent. Cite it as [Bourbaki, Tag 0BUH].
General Topology, chapter IV, § 8. Usual expansions of real numbers; the power of R
The set of real numbers is equipotent to the set of all subsets of a countably infinite set.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.