- 主题:证明连续统假设的公理集合论还没有被发明出来？
--
FROM 115.171.86.*
公理就是公理，咋发明？
【 在 water4 的大作中提到: 】
--
FROM 113.77.54.*
那就叫发现吧。
【 在 MVPRose 的大作中提到: 】
: 公理就是公理，咋发明？
:
--
FROM 115.171.86.*
ZFC公理系统与连续统假设是独立的。如果ZFC是相容的，那么"ZFC+CH"和"ZFC+CH不成立"分别都是相容的，这是Godel与Cohen的工作。
【 在 water4 的大作中提到: 】
--
FROM 222.190.109.*
能不能把证明梗概解释一下，通俗易懂，呵呵
【 在 WU1ooEnya 的大作中提到: 】
: ZFC公理系统与连续统假设是独立的。如果ZFC是相容的，那么"ZFC+CH"和"ZFC+CH不成立"分别都是相容的，这是Godel与Cohen的工作。
--
FROM 223.71.251.*