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

[0077 １３２人目の素数さん 2017/12/10(日) 08:19:12.96 ID:qBs23idJ]

ラッセル・ヒルベルト流にしろ、ゲンツェン流にしろ、[PならばQ]を[Pでないか又はQ]と同値であると考えたのが、そもそもの誤り。