- 637 名前：１３２人目の素数さん mailto:sage [2012/09/02(日) 22:32:26.15 ]
- 局所環の例は俺が挙げた例じゃないから知らない
そもそもイデアルやら位相をどうやって述語論理で扱えば良いのか知らない
少し解析になれれば「充分大きな M があって x, y < M のとき〜〜」というだけで、
理解がより困難になったりはしないが、これだってきちんと言うと
「∀N∈R. ∃M∈R. N＞M ∧ ∀x, y. x ＜M∧y＜M⇒〜〜」 なので、
すぐΠ3くらいにはなる。
有界な関数がどうのこうのと書いたときに言いたかったのはこういう感じの事で、
三重量化、四重量化はざらにあるということ自体は正しいと思っている。
関数の話になると確かにどういう量化なのかが不明瞭なのでこの例は取り下げる。
