大学学部レベル質問スレ 17単位目at MATH
大学学部レベル質問スレ 17単位目
- 暇つぶし2ch974:132人目の素数さん
22/04/26 20:28:13.98 lPRNo7OA.net
>>925
「構成的証明を掲げてる直観主義が、排中律が成立しない命題の具体例を構成しないで済ますなんてことするのだろうか?という疑問」
ここがわからない
推論規則と命題を混同していないか?
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch