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

[0295 １３２人目の素数さん 2020/02/15(土) 00:48:07.27 ID:SksuAgtb]

>>293
>ZFCなら排中律を証明できる
https://plato.stanford.edu/entries/axiom-choice/#AxiChoLog
ホントヶ？