第29章 彼岸新星(6)

艾伦还说，序数逻辑就是对这种组合的形式化。但是，即使引入了直觉，这仍然对有限定义的形式系统的不完备性起不到什么作用。人们在1931年才知道不完备性，但直觉却早就已经有了。在《可计算数》中也有类似的模糊...