>>842
「何が分からないのか分かるようになるまで考える」のが数学。

研究でも、研究対象を定める、いい公理系、いい定義はなんだろう
と手探りすることも多い。よい定義が見つかり、数学として問題を
設定できたら、証明そのものは自明だったり。