“更大的系统”是已经被证明有用的。

“表达能力太强”是个啥意思？


【 在 annals 的大作中提到: 】
: 不完备的话更大的体系是没用的,本质原因是皮亚诺公理系统表达能力太强了
:
--
FROM 111.201.79.*