>>36
そうじゃなくて、任意の有限な元よりも大きい元（無限大）を持つ体が存在するよと言っている。
例えば超実数体。R^N上の加法・乗法を数列の項毎の加法・乗法で定義した環が存在し、さらに選択公理を仮定すれば自由超フィルタUが存在して R^N/U は超実数体となる。

>>37
体だからもちろん可能。