不是的。
哥德尔只是说命题太多、证不过来。但你就盯着一个证，早晚能证出来。

【 在 blackeif 的大作中提到: 】
: 可不可以这么理解？哥德尔证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。素数可以看成是自然数的基础架构，没有素数就没有自然数系统，由此素数可以认为是构成自然数系统的底层基础和逻辑，黎曼猜想是描述素数分布的精确规律，这恰恰是对这个系统最底层逻辑的判定，在哥德尔看来，这个基础逻辑的判定是无法证明和证伪的
--
FROM 183.95.135.*