>>274
＞実際に形式的な証明が出来ただろ？
ジョルダンの場合はね。他の定理もそうだ、というのは
どうして分かるんだい？

分かるというなら『「普通の証明」⇒「形式的証明」』
という定理が成り立つんだよねえ。

つか、その前に「普通の証明」というのを数学的に定義
しなきゃならんがｗｗｗ