《公理集论》求取 ⇩

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