まぁもうこんな終わった話誰も読まんよ。
どんな文字列を言語とし、どんな推論則を用いるのかも明らかにしない数学っぽい何かに時間をさく数学者はいない。
もうそんなもの相手にする数学者はいない。
そんなわけのわからんもんはる時間あるならちゃんとiutがどんな言語則上でどんな推論則上で展開するのか規定した文章を持ってこいって言っとるやろ？あるんか？ないやろ？ええ加減にせいや能無し。自分の能力が相手と比べてどこまでゴミかちょっとは察しろやカス