【集合论与连续统假设浅说】上海教育.pdf

【集合论与连续统假设浅说】上海教育.pdf

集合论与连续统假设浅说 张锦文48-612.有理数集合Q也是可数的 3.可数集合的一些主要性质 3.=P(N),亦即=2 4.CH的另一种陈述.七、集合论的ZF公理系统 1.ZF的形式语言 2.一阶谓词演算的公理系统和推理规则 3.ZF的公理系统 4.关于ZFC的定理和协调性问题 八、连续统假设对ZFO的相对协调性结果 1.关于CH的基本结果 2.哥德尔的主要方法 4.作者 1979年6月20日 原则,概括原则和选择原则)、基本运算(并、交、幂),基本概念(关系、函数、一一对应、对等、序数、基数)、基本定理(康托尔 定理、蔻尼定理),并且引导出朴素集合论中的著名论(罗素 论,康托尔论),从而说明必须对集合论进行公理化处理,并介绍了著名的集合论公理系统一一蔡梅罗一弗兰克尔系统(ZF系统)在这个基础上,我们介绍了哥德尔、科恩的工作,本书的主要目的是精确地陈述连续统假设和介绍它的进 展,因此,对一些相关领域(如关系、函数、序数等),并未展开 讨论,只对这些领域给出了一个清晰的符合现代术语的概念,因此,本书也对现代数学的一个领域一集合论作了一些通 俗的介