19/10/02 07:08:35.45 TbI0EvAz.net
>>836
>>ツェルメロ構成のωの場合、∈に推移性がないから
>？ ∈に推移性がないからなんだ？
ああ、やっぱり全然意識してなかったんだ
これじゃ全然ダメだね
>>ω∋ｘとなるには、ｘがωー1である必要がある
>？ 意味分からん
ああ、やっぱり全然分かってなかったんだ
これじゃ全然ダメだね
>Ｘ＝{{・・{}・・}}のように、{}が可算無限に重なった集合が
>存在すると言っているんだけど？
上記のXは正則性公理と矛盾するといってるんだが、理解できないか？
>Ｘ＝{{・・{}・・}}のように、{}が多重に重なった集合は、
>有限で無ければならないだと？？
正則性公理と矛盾しないのであれば、{}の重なりは有限
これ集合論の常識