数学が何なのか分からなくなりました。
高校数学復習中です。

定義とか定理とか、当時は適当に流してました。

定義が分かりません。
人が定義したものが数学なのでしょうか？
人が発見したものが数学だと思ってました。
自然科学ではなく、形式科学ということも、いまごろ初めて知りました。

自然科学の中で成立するかしないかで公式等は成立してると思ってました。
が、「定理はそれが証明されている事実、定義は「そうします」と置く（仮定する）こと」とありますが、
仮定する
誰かが仮定する
人間が仮定する
で、それが成立するのを誰かが証明したのでしょうか？