0418132人目の素数さん
2015/10/10(土) 21:04:28.98ID:hcdGIEYa「極小」というのはあくまで〜〜の中で極小、
というように範囲を定めた上で初めて意味を持つ概念なので
xがどの範囲で極小と言っているのか分からない。
x≠φ∧¬(x∈x)は、「xが〜〜の中で極小」ということを表現していないけど。
たぶん正則性公理に出てくる「極小」という言葉の意味を
間違えているんじゃないかな。
これは∈を前順序とみたときの極小元のことを言っている。
ちなみにja.wikipedia.orgの正則性公理の記事は間違っている。
というわけで>>411は何を言っているか良く分からない。
基本的に、書店で立ち読みしたりネットでググったりしただけで
きちんとした知識が身に付くと思わない方が良いよ。