トップページ > 数学 > 2020年02月14日 > 5CWKFqDB

書き込み順位＆時間帯一覧

48 位/92 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000000000000011



使用した名前一覧書き込んだスレッド一覧
１３２人目の素数さん
背理法不要論ってどうなん？

書き込みレス一覧

背理法不要論ってどうなん？
293 ：１３２人目の素数さん[sage]：2020/02/14(金) 23:31:53.59 ID:5CWKFqDB
背理法不要論はまあ背理法使うと公理を一つ余分に入れないといけない点から来てるんだろうと思うけど、
ZFなら正則性公理だってそれほど自然とは思えないんだけどな
ZFCなら排中律を証明できるんだっけ？


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。