>>65
勿論IUTが正しいと仮定した場合の話ですよ。何故そういうことを（以前に何度も）書いたかと言うと、
数論の専門家たちのほとんどはIU形式主義はABC予想証明戦略とは関係ないから考慮に値しないと考えているからです
しかし、望月のターミノロジーからすればIU形式主義が底流に流れていると個人的には思っているので、
そこを上手く説明することから始めてはどうか、ということです

あと、望月はIUTは遠アーベルとスキーム論、ログ・スキームを包摂した形での変形理論を構築していると思われるので、
理論の背景、動機の詳細な説明、厳密な基礎付けが数論の専門家たちに納得させるには必要なのではないかとも思っています