>>416
なんで完備じゃないと思うの？
超実数体も完備、つまり任意のコーシー列が収束するよ。
ただし、>>414にも書いたように標準モデルとは解釈は異なるけど。