現代数学の系譜 カントル 超限集合論

[0670 １３２人目の素数さん 2019/12/07(土) 17:30:02.27 ID:r8l5YtX/]

>>669
正則性公理はもちろん満たしていることは大前提でスレ主は正則性公理下でも矛盾しないと主張しています。
正則性公理がなければ矛盾するのかしないのかは知りません。