第七十三章 哥德尔完备定理【加更四】 (第4/4页) 不知道有没有宝藏,王崎一开始就知道有,而且看到了一个指路牌。 但是具体的路还是需要他自己找 他最开始甚至没想到要一鼓作气把哥德尔完备定理推出来,而是沿着冯诺依曼的思路再找一个算术系统特殊的子系统论证一下就行了。 “我水平有这么高?”