＞＞単に、私が数学とは公理から定理を証明する学問だと考えているのに対して

＞ これはないわ
＞数学できない科学哲学学生とか趣味でブルーバックス読んでるおっさんの発想

通りすがりの基礎論屋ではない数学の研究社ですけど、
数学の証明は、公理から定理を導いているものと思ってました。
すべての証明を形式証明の推論列では書かないけれども、
省略をマクロとしてみれば公理から論理式で結論されることでは
なかったのでしょうか............