じゃあ新井さんの数学基礎論やな。