Remark
Tag 0BPG, permanent. Cite it as [Bourbaki, Tag 0BPG].
General Topology, chapter IV, § 2. Fundamental topological properties of the real line
An axiomatic construction of the theory of real numbers will be found in Chapter V, 2, in which Theorem 1 appears as an axiom; for more details about this axiom, see the Historical Note to Chapter IV.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.