現代数学の系譜 工学物理雑談 古典ガロア理論も読む78

>>774
有理直線Qのデデキント切断による実数の定義は扱っている。