21/12/16 13:08:28.37 iKqkOvaq.net
>>301
>ノイマン構成で同じように、無限のネスト深さの元がZFCの中で構成できて
出来ません。
仮に出来たとしたら∈無限下降列が存在することとなり正則性公理に反します。
21/12/16 13:08:28.37 iKqkOvaq.net
>>301
>ノイマン構成で同じように、無限のネスト深さの元がZFCの中で構成できて
出来ません。
仮に出来たとしたら∈無限下降列が存在することとなり正則性公理に反します。
21/12/16 13:08:28.37 iKqkOvaq.net
>>301
>ノイマン構成で同じように、無限のネスト深さの元がZFCの中で構成できて
出来ません。
仮に出来たとしたら∈無限下降列が存在することとなり正則性公理に反します。