>>21
実数体モデルを前提として命題がそのモデルが成り立つことを「正しい」と言ってるわけだな。
つまり実数体モデルの存在を前提としてるわけだから杉浦解析入門と一緒の立場だな。

実数体モデルの存在を前提としないのであれば、
有理数の基本列か切断を使って実数体モデルを構成する必要があるが。