大学学部レベル質問スレ 17単位目

大学学部レベル質問スレ 17単位目at MATH

大学学部レベル質問スレ 17単位目 - 暇つぶし2ch963:１３２人目の素数さん
22/04/25 23:51:14 jWSIJ68l.net
>>922
二重否定除去は排中律と同値で、排中律は他の公理から導けないので証明できないという話ですよね？
もう少し調べてみたらわかったのですが、どうも無限に関する命題で排中律が成立しないと想定しているみたいですね

次ページ

続きを表示

1を表示