>>8
ftp://mizar.uwb.edu.pl/pub/version/mml/jordan.miz
ftp://mizar.uwb.edu.pl/pub/version/abstr/jordan.abs

http://e-learn.mine.nu/mizar/jordancurve.htm に
>Oswald Vebren が　1905年に一応の証明をしたと言われていますが、前提
>となる知識の到るところに直感が使われ、完全証明とは言いがたいものでした。
とあるけど、「直感が使われ」ていたのは具体的に証明のどの部分なのだろう？