公理集合论导引

书籍目录

序

第一章 集合与类

1 外延原则与概括原则

2 空集合与对集合的存在原则

3 幂集合的存在原则

4 并集合存在原则

5 子集合分离原则

6 关系

7 函数

8 单值化原则

9 替换原则

10 类与集合的封闭性运算

11 存在极小元原则

习题

第二章 序数

1 自然数集合

2 传递集合

3 自然数集合的三歧性

4 序数的定义

5 序数的传递性与三歧性

6 序

作者简介

与通常的公理集会论著作不同，本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑定理。以后各章介绍了公理集会论中的主要方法和结果，以及作者本人的研究成果。

    本书可供大专院校数学系学生、教师以

 公理集合论导引下载