>>472
>まず、根本はIUTの証明が成り立っているかどうでしょ？

根本じゃない
いの一番からズレてる
3年ロムった方がいい

>なお、証明は正しいが、他には応用できない例：４色問題
>そういうのもあるにはある
>IUTが、それかどうか知らないが

孤立した膨大な巨大理論なんか他にいくらでもある
むしろそのような(駄作)理論の方が多い
同じ望月のタクローの方もその手に近い

あと4色問題は理論ですらない
(コンピューターを使うと)しらみつぶしで証明できてしまったってだけ