>>370
選択公理を使って超フィルターを作って、それをもとに実数列に
ある種の同値関係を定義すると、超実数体になる。