>>256
池上大輔氏　曰く
「現在知られている集合論の手法（※）では
ZFCのモデルMから、新しいZFCのモデルNを構成して
MとNの間で一階算術の命題の真偽を変えることはできない
もしリーマン予想がZFCの下で証明も反証もできないとして
そのことを現在の集合論の手法で検証することはできない」

望月新一は、
「通常の方法ではABC予想は証明できないから、IUTを考えた」
というが　まず、
「通常の方法ではABC予想が証明できない」
（具体的には例えばZFCでABC予想が偽となるモデルの存在）
という主張の証明がなされてない、次に
「IUTによるABC予想の証明」
（具体的にはIUTの公理（？）を満たすモデルが存在し
　かつそのような任意のZFCモデルでABC予想が真となること）
もなされていない。

特にIUTの公理を満たすモデルの存在が示せていないことは致命的である
（ここで求められているのは絶対的な存在ではなく
　例えばZFCのモデルが存在するなら、ZFC＋IUTのモデルも存在する
　という相対的な存在証明）