テンプレが、多いのはつまらないことを書き込むなと
諭されているのでしょうか・・・・

>>215

に関しては、結局以下が同値であることを証明すれば
良いのですよね。

1.論理式ψが古典論理で証明可能で、
　直観主義論理で証明不可能。

2.論理式ψが古典論理で証明可能で、
　直観主義論理に論理式ψを公理
　として加えた論理で、排中律が
　証明可能。

どちらにしても、>>225の仰るとおり、完全性定理と
古典論理を直観主義論理に埋め込む方法をもう少し
ちゃんと勉強すべきなんでしょう・・・。