>>510

 貴方のような思い込みをしている人には直観主義論理の意義は理解できないでしょう。
 命題の真偽があらかじめ決まっている、というのは古典論理の世界の中に住んでいる人
にとっての前提であって、要するに前提に過ぎないということに気づくべきですね。