＞杉浦解析入門は実数論を完全にスルーしてる。
してないだろ
本当に第一章読んだか？

実数論≒アルキメデスな完備順序体の理論のこと
杉浦にはアルキメデスかつ完備であることと同値な条件が五つくらい挙げられて
同値性が証明してある

「アルキメデスかつ完備な順序体は一意に存在する」
という部分は演習問題に廻されてるけど、だからって無視している訳ではない

>>895
そう？「詳しい本」って例えば？