まぁあれは苦し紛れの言い訳に近いな
等号原理を認めるか認めないかの話に見せかけて言い訳してるに近い
等号原理を外した論理体系でないと著しく記述が困難になるという状況からそもそも疑わしいけど、仮にそうなんだとして、だったら等号原理外した論理体系、言語体系は何を持ってくるのか、それは既存の数学の言い替えに過ぎないと言っていいものなのかどうかの議論がなければ意味ない
そしてそんな議論はiut論文ではなされてない、ならばもうその時点で論文としてアウト、そんな問題があるという自覚があるならホントは論文撤回してその検証始めないといけないはずなのにそれもしない
もう何やってんだか理解不能