>>675
つづき

(追加(参考))
https://www2.math.kyushu-u.ac.jp/~hara/lectures/07/realnumbers.pdf
実数の構成に関するノート?
原 隆 (九州大学数理学研究院)
?九州大学 2006, 2007 年春学期「数学 II」「微分積分学・同演習 A」への補足
目 次
2 実数の構成(デデキントの切断による) 5
2.1 切断による実数の構成(定義)... 5
2.2 実数の順序... . 6
2.3 実数の加減... . 9
2.4 正の実数に乗法を入れる... 11
2.5 正の実数に除法を入れる... 15
2.6 実数に乗法と除法を入れる... . 17
2.7 デデキントの定理:実数の連続性... . 19
2.8 上限と下限... . 20

P6
2.2 実数の順序
上のように構成した「実数」が我々の知っている(期待している)性質を満たしている事を,以下延々と示して
いく.まずこの節では順序を考える(小平「解析入門」の 1.2 節,b) に詳しい).
(引用終り)
以上