Definition 4
Tag 03NC, permanent. Cite it as [Bourbaki, Tag 03NC].
Theory of Sets, chapter III, § 6. Infinite sets
A set is said to have the power of the continuum if it is equipotent to the set of all subsets of .
A set which has the power of the continuum is not countable (§ 3, no. 6, Theorem 2).
\* The name "power of the continuum" arises from the fact that the set of real numbers is equipotent to (General Topology, Chapter IV, § 8). \* The continuum hypothesis is the assertion that every uncountable set contains a subset which has the power of the continuum; the generalized continuum hypothesis is the assertion that, for every infinite cardinal , every cardinal is .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.