21/10/13 11:10:27.12 1dTgAsTd.net
>>154
>> ２）集合論の公理系では「{}の可算多重」が集合だとすると正則性公理と矛盾する
>> 別の公理を追加することで矛盾が解消されることはないよ
>「正則性公理を否定すれば良い」ってことだよｗ
そもそも、ωを「{}の可算多重」ではなく
{{},{{}},{{{}}},…}
と考えれば、正則性公理を否定しなくていいけど
なんで「{}の可算多重」に固執すんの？
21/10/13 11:10:27.12 1dTgAsTd.net
>>154
>> ２）集合論の公理系では「{}の可算多重」が集合だとすると正則性公理と矛盾する
>> 別の公理を追加することで矛盾が解消されることはないよ
>「正則性公理を否定すれば良い」ってことだよｗ
そもそも、ωを「{}の可算多重」ではなく
{{},{{}},{{{}}},…}
と考えれば、正則性公理を否定しなくていいけど
なんで「{}の可算多重」に固執すんの？