数学基礎論って言葉、止めたほうがいいと思う。