O000398　集合论与连续统假设浅说

---

张锦文编著。

上海教育出版社1980年6月版。6．3万字。

从集合的例子和概念入手，直观地讨论朴素集合论或康托尔集合论的基本原则(外延原则、概括原则和选择原则)、基本运算(并、交、幂)、基本概念(关系、函数、一一对应、对等、序数、基数)、基本定理(康托尔定理、蔻尼定理)，引导出朴素集合论中的著名悖论(罗素悖论、康托尔悖论)，说明必须对集合论进行公理化处理，并介绍了著名的集合论公理系统——蔡梅罗－弗兰克尔系统(ZF系统)。

在此基础上，介绍哥德尔、科恩的工作和方法。

本书的主要目的是陈述连续统假设和介绍它的进展，因此，对一些相关领域(如关系、函数、序数等)，并未展开讨论，只对这些领域给出了一个清晰的符合现代术语的概念。对现代数学的一个领域——集合论作了通俗介绍，并涉及一些有趣味的逻辑问题。