Example 1

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

Algebra, chapter VI, § 2. Ordered fields

The rings $\mathbf{Q}$ and $\mathbf{Z}$ , with the usual orderings, are ordered rings.

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

Cited by

Nothing.

Nothing.