>688は数学の場合でしょ。

IUTは数学でないし望月新一を頂点とした全く新しい「理論」の教義より
成り立っているしcor.3.12も教義による。
DupuyやjoshiのIUT解釈は
IUTの異端にすぎない