>>411
>ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない

これも大した問題じゃない
ギャプがあると問題だけど