背理法不要論ってどうなん？

[0293 １３２人目の素数さん 2020/02/14(金) 23:31:53.59 ID:5CWKFqDB]

背理法不要論はまあ背理法使うと公理を一つ余分に入れないといけない点から来てるんだろうと思うけど、
ZFなら正則性公理だってそれほど自然とは思えないんだけどな
ZFCなら排中律を証明できるんだっけ？