>>698
そこで数学基礎論ですよ。（普通の数学教育から見ると）ぜんぜん基礎じゃないわけだが。