Corollary 1

Tag 03R4, permanent. Cite it as [Bourbaki, Tag 03R4].

Theory of Sets, chapter III, § 3. Equipotent sets. Cardinals

For every cardinal $\mathfrak{a}$ we have $\mathfrak{a} + 0 = \mathfrak{a} . 1 = \mathfrak{a}$ .

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

Corollary 2, § 3

Cites

Nothing.