数学ななぜ存在するのか　現実との対応は必要なのか 思ったよりも抽象的存在の確固たる基盤というのはないのかも知れない