>>266

>結局、ジュルダンの定理の「普通の証明」と「形式的な証明」は
>違うわけで

誰も同じとは思ってないだろ。
だけど、これは量の問題であって質の問題じゃないだろ。
他の証明、例えばフェルマーの定理の証明だって時間と手間を
かければ形式証明が出来るだろう。そんなことは昔からわかってることだろう。