>>4
> というか、数学ってどちらかと言うと自然科学なんだな…

数学は自然科学じゃないでしょ
自然科学の理論はいずれも経験的で帰納的だ
だが数学では最終的には演繹的な部分だけが確かなものとして残る

数学は一種の哲学だよ、但し原理的に形式化（記号化）が可能な範囲だけを対象とし
曖昧模糊として漠然としたものは相手にしない類の極めて狭量な形式哲学だ