あのねえ、君は数学の厳密性を舐め過ぎだって
誰もWilesの200ページ弱の証明がそのまま形式的証明だなんて言ってないだろ？
そんな勘違いをしてるのは君だけ

＞でも、少なくともジョルダンの曲線定理は、そうじゃなかったよね。
実際に形式的な証明が出来ただろ？
「直感的には当然だが、誰も数学的に完全な証明ができなかった」
なんていってるのは中村教授とそのお仲間だけで
平地健吾だって小島定吉だって、オリジナリティの低い低レベルな結果だ、と
内心考えてると思うよ