大拱桥--暨南大学学生门户 » 图书馆 » 集合论 » 公理集合论导引
名称 公理集合论导引
索引号 O144/921
分类号 O144
O144(集合论)
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者
出版社 北京 : 科学出版社, 1991
ISBN 7-03-001849-4
页数 351页 ; 21cm
价格 CNY13.70
标签 集合论、数学、数理逻辑、数学基础、逻辑、形式系统、逻辑学、离散数学、
简介
注解 本书首先阐述了类、集合、序数、基数以及势的概念，然后介绍了集合论形式语言和Đ₊Đ¡形式公理系统，公理集合论中的主要方法和结果，以及作者本人的研究成果・
书籍简介

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

书籍目录

序
第一章 集合与类
1 外延原则与概括原则
2 空集合与对集合的存在原则
3 幂集合的存在原则
4 并集合存在原则
5 子集合分离原则
6 关系
7 函数
8 单值化原则
9 替换原则
10 类与集合的封闭性运算
11 存在极小元原则
习题
第二章 序数
1 自然数集合
2 传递集合
3 自然数集合的三歧性
4 序数的定义
5 序数的传递性与三歧性
6 序