>>172
では、公式見解の叩き台を考えましょう。

数学者の間では既に証明されたと認められている定理ではあっても
形式主義的に満足できる証明がなされているものは、非常に少ない。
例えば、ワイルズによって証明がなされたフェルマーの最終予想も
形式的証明までは、まだ遠いようである。今回の中村氏らの研究は
それらの定理にも、形式的な証明が与えられるようになる第一歩と
なるのではないか、と大きな期待を抱かせるものである。