数学基礎論は深入りすると発狂のおそれ有 2012-09