Remark

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

Theory of Sets, chapter III, § 2. Well-ordered sets

\* As a consequence of the axiom of infinity (§ 6, no. 1), there exist well-ordered sets which have no greatest element, for example the set $\mathbf{N}$ of natural integers. \*

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.

Cites

§ 6, no. 1