>>325
あんたのいうごく当たり前の質問って、
「IUT言語における“命題”はなんや？何を“項”として何を“述語”としてる？何が“関数記号”でどのような並びを“命題”とするんや？そしてそれらがどのようにならんでいるとき正しい“推論”とするんや？」

ってこと？
おいおい頭大丈夫か？
あんた数学者？