>>758
>「全く新しいフレームワークと言語・概念体系を基盤として構築」されたものが、
>既存の数学に適用できる保証はどこにもない

いいんじゃね？
ABCだとか
Szpiroだとか
Vojutaだとか

IUTが正しければ
全部終わる
予想じゃく、定理になる

それで十分じゃないですか？