例えば　>>437

望月新一監修加藤文元著IUT本P35

>IUT理論の方は、既存の
数学とはその基本的な考え方のみ
ならず、それが使用している言語が
全く異なるものです

つまり一般の数学者はIUT理論に関してど素人と言ってる。