>>924
>体で順序構造を満たし完備であるもの
超実数体は?