ｸｲｽﾞ大陸

こちらの問題はロックします。私は詳しく知りませんが「直観主義論理」というものもあるようで、色々調べてみると面白いかもしれません。
何かありましたが、「良く見かける〜証明」の方に書きこんでおいて下さい。