Example 3
Tag 03SZ, permanent. Cite it as [Bourbaki, Tag 03SZ].
Theory of Sets, chapter III, § 2. Well-ordered sets
\* The existence of totally ordered sets which are not well-ordered is equivalent to the axiom of infinity (§ 4, no. 4, Corollary 1 to Proposition 3, and Exercise 3).
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.