6.3 自然主义看形式主义与不完全性定理

• 书名：二十世纪数学哲学：一个自然主义者的评述
• 作者名：叶峰
• 本章字数：10010字
• 更新时间：2020-07-09 16:18:18