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

[0897 １３２人目の素数さん 2017/10/31(火) 14:31:56.17]

直観主義（命題）論理学において、A∨¬Aが定理ではない事についての具体例については
前原昭二の｢復刊 数理論理学序説｣を見るといい
具体的なモデル？みたいなのを作って、その下でA∨¬Aが定理にはなっていないことを確認してた記憶がうっすらある