< 1 >
美国逻辑学家威拉德-范-奥曼-奎因 Willard Van Orman Quine(1908 - 2000)发表了《数理逻辑的新基础》一文
Deutsch English Español Français Nederlands Русский