>>234

だから、「基礎論の初歩」を知っている数学の先生に
聞いてみな、ね

この「中村氏の完全証明」と「普通の証明」の違いが
分からないんですけど、どういうことですか？、って

結論から言えば、「普通の数学者の証明」は形式的に
証明できるということとは違うんだ、って答えになる