本文节选自《与天为敌 pdf百度网盘》电子版：，而100年来这个定理对数学家们来说是一项有趣的挑战。高斯说“我对孤立的命题不感兴《趣，因为我可以轻易地列举大量这样的命题，它们既不会被证明，也不会被推翻...