Corollary 2
Tag 03LB, permanent. Cite it as [Bourbaki, Tag 03LB].
Theory of Sets, chapter III, § 4. Natural integers. Finite sets
Every finite ordered set has a maximal element.
For such a set is inductive by Corollary 1 (cf. § 2, no. 4, Theorem 2).
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.