第250章 普林斯顿式的致敬（第2/2页）

“建立体系是最重要的。”沈奇从米尔诺的实际案例中得到启迪。

然而谁都知道，建立一个逻辑严谨的体系比证明一个定理困难太多了，建体系是个浩大工程，需要巨大的、持续不断的人力物力财力投入。

建立基础数学体系的唯一优势是不用花费太过天文数字的金钱，最大的投入应该就是人力资源投入。

“我这手头缺兵少将的，水平也有限，目前捣鼓不出一套新的理论体系，还是先证明我的定理吧。定理证明多了，体系自然而然就出来了。”

是这个道理，欧几里得一生证明了465个定理，欧氏几何的经典体系流传了两千多年。

沈奇继续开展“穆勒—沈定理”的证明工作，并在9月底与穆勒合了一版初稿。

“令人振奋的成果是，我们完全证明了论断（1）和（2），比我在1982年时证明的更完美，毫无破绽。”穆勒显的兴奋，随即转入沉思状：“但问题是，论断（3）的证明结果令人沮丧，或许再过一个月我们才能完成最终证明。”

沈奇说到：“X*的每个ω*闭凸集是逼近紧的切比雪夫集，对于这个论断（3），我觉得我们一开始的思路就错了，它是独立的，不应该和论断（1）、（2）联系在一起。但这并不是坏事，或许，还是件值得庆幸的事情，因为我们发现的早。”