>>317
おまえがわからんだけやろゴミ
じゃあおまえが答えろや
IUT言語における“命題”はなんや？何を“項”として何を“述語”としてる？何が“関数記号”でどのような並びを“命題”とするんや？そしてそれらがどのようにならんでいるとき正しい“推論”とするんや？
どっかに書いてあるんか？どこにかいてある？数学そのものがわからんでも書いてあるかどうかぐらいはわからんのか？
数学の世界とかかわろうと思うな。お前には無理や鬱陶しい。数学の世界に貢献しようと日々努力してる世の数学者全員からみて迷惑でしかない。かかわろうとするな。よってくるな。