- 662 名前：１３２人目の素数さん mailto:sage [2012/09/05(水) 17:35:32.22 ]
- >>654
>Maximal ideal あるいは Prime ideal の全体を考えれば、３階になる。
３階の元一つ考えるだけなら３階量化は必要ないので２階で十分。
問題なのはMaximal ideal あるいは Prime ideal の全体の部分集合を走る量化がある場合。
そういう例としてZariski位相を挙げたんだろうけど、基本開集合が単純な形をしているので
開集合や閉集合上を走る量化も実際には２階の言語で十分表現できてしまう。
