- 34 名前：１３２人目の素数さん [2018/07/29(日) 15:45:24.62 ID:u6zIAkMm.net]
- >>24
ZFC唯一教の人かも知んないけど
残念ながらZFCが矛盾してるかどうかとかそういう話はなくって
信じられているのは「ZFCから矛盾命題を導けない」ということで
矛盾命題が導かれたら任意の命題が正しくなってしまう、というだけ
あと実際は選択公理を課さずにやってるところも一部分あるし、もっというなら無限集合の存在公理すら課さない公理系でやってる人もいる
又は逆にZFCに到達不能基数の存在公理を課したり、NBGでやったりというのもある(こちらはそれなりにポピュラー)
