送交者: guoxj 于 2005-6-15, 09:55:10:
其关键的地方是说，“对于任一给定偶数，ZFC可以判定其是不是两个素数之和”。如果歌德巴赫猜想独立于ZFC, 那么ZFC无法否定“有一个偶数不可以写成两个素数之和”。
如果歌德巴赫猜想独立于ZFC。 那我现在随便取一个偶数 a，因为已经假设了歌德巴赫猜想独立于ZFC， 所以ZFC无法否定“a 可以写成两个素数之和”。但是在第一句话里已经说明了，ZFC是可以判定 a 可不可以写成两个素数之和的。因此ZFC只有肯定它了。
既然对任意的偶数a， ZFC都可以肯定“a 可以写成两个素数之和”，所以歌德巴赫猜想一定是对的。这样歌德巴赫猜想就不独立于ZFC了。