19/09/29 16:54:21.15 s0bEnY0r.net
>>675
>ではどういう理屈で>>663で
>＞任意の2以上の正整数xについて x≠Φ、0∈x
>といったのか？
理屈も何も、>>670や>>674に書いた通り説明が分からない。
wikiの公理的集合論の正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ￢(t⊂x) ) )
だろうな。最後の ￢(t⊂x) が ￢(t∈x) になっている理由が分からん。