- 238 名前：１３２人目の素数さん mailto:sage [2012/04/21(土) 21:21:25.94 ]
- テンプレが、多いのはつまらないことを書き込むなと
諭されているのでしょうか・・・・
>>215
に関しては、結局以下が同値であることを証明すれば
良いのですよね。
1.論理式ψが古典論理で証明可能で、
直観主義論理で証明不可能。
2.論理式ψが古典論理で証明可能で、
直観主義論理に論理式ψを公理
として加えた論理で、排中律が
証明可能。
どちらにしても、>>225の仰るとおり、完全性定理と
古典論理を直観主義論理に埋め込む方法をもう少し
ちゃんと勉強すべきなんでしょう・・・。
|
 |
