21/11/17 00:32:08.83 tnzTXyh4.net
>>361
>{…{{}}…}と
>{{},{{}},{{{}}},…}と
>
>一番外の｛｝を外すと
>…{{}}…と
>{},{{}},{{{}}},…となる
>
>…が剥き出しだよね
>で、後者のノイマン構成で
>{},{{}},{{{}}},… において、…の部分も集合だよね。で、エンドレス無限だよね
>
>前者の…も同じで、エンドレス無限だよ
>同じだよ
何を同じと言ってるのか意味不明。
{…{{}}…}:=ε、{{},{{}},{{{}}},…}:=δ とおく。
どちらも集合と仮定すると、δの元は任意の有限重シングルトン、εの元はε。あなたは訳も分からず同じと言ってるが全然違う。
この違いは以下の通り決定的。
1. ε∋ε∋ε∋… なる∈無限下降列が存在するからεは正則性公理を満たさない。
2. δのどの元も有限重シングルトンであるから、δを起点とするいかなる∈下降列も有限列。すなわちδは正則性公理を満たす。
あなた脳はお持ちですか？少しは考えたら如何？