大学の数学科で数学を学ぶと、その「すぐ近く」に、 公理主義 であり、 ロジック（＝数学基礎論） というものがあることに気付かされる。というのは、そういった関連書籍はたくさん出版されているし、というか、実際に「証明」を読んでいると、この問題を避…