能不能把证明梗概解释一下，通俗易懂，呵呵
【 在 WU1ooEnya 的大作中提到: 】
: ZFC公理系统与连续统假设是独立的。如果ZFC是相容的，那么"ZFC+CH"和"ZFC+CH不成立"分别都是相容的，这是Godel与Cohen的工作。
--
FROM 223.71.251.*