这个也是需要证明的，比如连续统假设好像就是哥德尔的案例
证明黎曼猜想独立于zfc公理系统 也是黎曼猜想证明的一个方向，不过比较小众而已
【 在 blackeif (blackeif) 的大作中提到: 】
: 可不可以这么理解？哥德尔证明了任何一个形式系统，只要包括了简单的初等数论描述
: ，而且是自洽的，必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。素
: 数可以看成是自然数的基础架构，没有素数就没有自然数系统，由此素数可以认为是构成
: 自然数系统的底层基
--
FROM 119.139.198.*