Example 3
Tag 03T4, permanent. Cite it as [Bourbaki, Tag 03T4].
Theory of Sets, chapter III, § 2. Well-ordered sets
\* It follows from the axiom of infinity (§ 6, no. 1) that the well-ordered set of natural integers is not inductive with respect to the relation . \*
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.