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