- 作 者：汪芳庭编著
- 出 版 社：合肥：中国科学技术大学出版社
- 出版年份：1995
- ISBN：7312005977
- 标注页数：197 页
- PDF页数：206 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源206 ≥197页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
1 集论的公理化 1
1．1 ZF系统的形式语言 2
1．2 外延公理与内涵公理 4
1．3 无序对与有序对 8
1．4 并集公理与幂集公理 10
1．5 关系与映射 13
2 序数 17
2．1 偏序、全序与良序 17
2．2 序数及其性质 24
2．3 无限公理与自然数集 29
3 替换公理与基础公理 33
3．1 替换公理，序型 33
3．2 类On上的超限归纳法 35
3．3 序数的运算 41
3．4 良基集 44
3．5 基础公理 49
4 基数 52
4．1 等势 53
4．2 基数 56
4．3 集的基数 62
4．4 良序定理，选择公理 64
4．5 基数与选择公理有关的性质 69
4．6 基数的加、乘运算 71
4．7 基数的指数运算，连续统假设 77
4．8 共尾数 79
5 相对无矛盾性 86
5．1 再谈集论的形式语言 86
5．2 模型的形式处理 90
5．3 公式的绝对性 94
5．4 ZF相对于ZF-的无矛盾性 100
6 可构成集，连续统假设的相对无矛盾性 105
6．1 良基似集关系上的超限归纳法 105
6．2 再谈公式的绝对性 112
6．3 反身定理 119
6．4 可定义关系 126
6．5 可构成集 131
6．6 可构成公理相对于ZF的无矛盾性 135
6．7 选择公理相对于ZF的无矛盾性 138
6．8 连续统假设相对于ZFC的无矛盾性 140
7 力迫法，连续统假设的相对独立性 144
7．1 再谈偏序 144
7．2 ZFC的模型的兼纳扩张 148
7．3 力迫法 155
7．4 拟不交族及可数反链条件 168
7．5 连续统假设相对于ZFC的独立性 172
参考书目 178
练习提示或解答 179
名词汇总 193
符号汇总 196