数理論理学（数学基礎論） その12

[0235 １３２人目の素数さん 2017/12/28(木) 05:49:33.23 ID:c0s4pafK]

>>229
＞日常語の「ならば」に「近い」のは古典論理よりむしろ直観主義

帰誤法（背理法）を認めないような理論は、話にならんよ。ｗｗｗ