Example 1
Tag 08GP, permanent. Cite it as [Bourbaki, Tag 08GP].
Functions of a Real Variable, chapter V, Appendix 0. Hardy Fields. (H) Functions
Every Hardy field contains the field of rational constants (the smallest field of characteristic 0, cf. Alg., V, §1), which one can identify with the field ; moreover, since two constants cannot be congruent modulo unless they are equal, is identical to . The real constants also form a Hardy field, which one can identify with .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.