http://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20ni%20tsuite%20no%20FAQ.pdf

Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？

A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.
“宇宙替え” は大事ですが, 数学基礎論的・論理学的に
非自明な操作により証明をしているのではなく,
証明の本質的な数学的道具はやはり遠アーベル幾何的再構成アルゴリズムたちにあります