作气把哥德尔完备定理推出来，而是沿着冯诺依曼的思路再找一个算术系统特殊的子系统论证一下就行了。

“我水平有这么高”

深夜慢读：csw888.com 丝袜小说网