超実数体って確か選択公理か何かを仮定すれば構造は一意なんだよね
超実数体って任意のCauchy列が収束しますか?