>>212
＞大学レベルの数学は世界の定義というか
＞そういうところにすごい凝ってて
＞その世界で何が起こりえるか
＞みたいなのを導いていく感じ

実際の進展とは逆。
研究していってより細かいことを知るために
逆に前提となる定義を詳細化していった。

決してわけもわからず定義して
わけもわからず機械的に推論して
定理が証明されたわけではない。