>>76
ありがとうございました。とりあえず悶々としてしまったのでうんこしてすっきりするためにスレを利用してしまいました

自分は別の専門板に常駐しているのですが、たいていこういう「そもそも○○とはなんぞや」みたいな初心者質問は
そこで学術的にまじめにやってる人間にとっては実にバカバカしいものなので、「たぶん答えてもらえないだろうなあ」とは思ってまして……（自分もよくそう回答します）
（生命科学関係の板で「そもそも生命とはなんぞや」なんて聞いたら「うるさいてめえで勝手に定義してろこっちはいまSTAPで忙しいんだ」ってなります）

とりあえず「数学の公理→証明→定理の仕組みは人間の脳の特性によるものなのかどうかは数学者もしらない、『数学とはなんぞや』に関してはまだ数学者自身によって研究されてはいない、それは哲学のお仕事」
として納得しました