Example

Tag 06ZI, permanent. Cite it as [Bourbaki, Tag 06ZI].

Algebra, chapter VI, § 2. Ordered fields

We will see later (Gen. Top., VIII, p. 1) that the field R of real numbers is a maximal ordered field.

The existence of maximal ordered fields is a consequence of the following theorem:

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.