関数・定数記号がない言語がどうこうの前に
「直観主義論理上の理論は存在具体性を持つ」のなら
古典論理も直観主義論理上野理論なのだから
「古典論理が存在具体性を持つ」ことになってしまうんだな。
前スレの851等でとっくの昔に指摘されてのな、スマソ。

とにかく二重三重に根本的な間違いだな。