背理法
二種類の背理法
「Aでない」ことを示すために、Aを仮定して矛盾を導くもの
「Aである」ことを示すために、「Aでない」ことを仮定して矛盾を導くもの
こちらが、直観主義論理的に問題のある推論
違いがよくわからんmrsekut.icon
背理法による証明例
素数は無限にある
ユークリッド
ヒルベルトの基底定理
参考
『論理の哲学』 5章