送交者: eng 于 2005-6-17, 03:36:57:

回答: 哥德巴赫猜想独立于ZFC吗？ 由 xinku 于 2005-6-16, 21:37:37:

多谢指教。其实我觉得一木和guoxj的意思和我差不多，只不过没有说清楚罢了。我倒是很想把它encoded in ZFC sentences，可是我不会 :-)

• 我曾辅导过一学期的逻辑课，但是对其恨之入骨。 - guoxj (127 bytes) 2005-6-17, 06:39:04
  • 从实践中来，又到实践中去,逻辑上肯定靠的住。 - Europeanese (0 bytes) 2005-6-17, 08:30:45

加跟贴