だれがなにを信じるかなどどうでもいい。
IUTを正当化するならIUTの議論を正当化する言語体系と推論測とそれが通常の数学の保存拡大であることの証明。
それが現れない限りIUTは終わり。
十年たって未だに現れず。
これからも永遠に現れない。
おまえやってみるか？ｗｗｗｗｗｗｗｗｗｗｗｗ