数理の存在論的基礎
410.1
ﾅｶﾞ