- 575 名前：１３２人目の素数さん mailto:sage [2018/08/23(木) 21:21:27.74 ID:I++r5yRS.net]
- >抽象化された代数の内容がそのままいつでも実数体や複素数体にも当てはまる
>とはいえないように
具体例を挙げてみなよ。
基礎体がRでもガロア理論は成立するし、それを使った代数学の基本定理
（Rに2より大きい次数の代数拡大は存在しない）の証明もあるんだが。
>実数の加減乗除を定義するために実数論は作られた。
実数が必要なのは極限を取る操作で有理数が閉じてないから。
つまり、完備性の必要性からだよ。
