>>646
証明に役立つ物以外を理論と呼ばないならIUTも理論と呼ばなければいいだけの話なんじゃね?
望月が勝手に呼んでるだけなんだし