Example

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

Algebra, chapter VI, § 2. Ordered fields

— Since $Z$ admits only one totally ordered ring structure (VI, p. 19, example), the field $\mathbf{Q}$ admits only one ordering which makes it an ordered field: this is the usual ordering.

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

Cited by

Nothing.

Cites

Nothing.