新井敏康『数学基礎論』
新井敏康