＞Oswald Veblen が　1905年に一応の証明をしたと言われて
＞いますが、前提となる知識の到るところに直感が使われ、
＞完全証明とは言いがたいものでした。
数学の定理のほとんどは、そうなのだが…

直感なしの証明が与えられている定理なんて、ほとんどない