第一章 基本概念 1
1.集合论的形式语言 1
2.集合论的公理系统 7
3.布尔代数 19
4.一些常用的概念 21
第二章 自然模型 33
1. ZFC的自然模型V及其一些基本性质 34
2. GB的自然模型∑及其一些基本性质 40
3. COG的自然模型A及其一些基本性质 43
4. ACG的自然模型Ω2及其一些基本性质 49
第三章 含有原子的自然模型 53
1. ZFA的自然模型及其一些基本性质 53
2. GBA的自然模型及其一些基本性质 61
3. COGA的自然模型及其一些基本性质 67
4. ACGA的自然模型及其一些基本性质 73
第四章 布尔值模型 79
1. ZFC的布尔值模型及其一些基本性质 79
2. GB的布尔值模型及其一些基本性质 100
3. COG的布尔值模型及其一些基本性质 122
4. ACG的布尔值模型及其一些基本性质 129
第五章 含有原子的布尔值模型 134
1. ZFA的布尔值模型及其一些基本性质 134
2. GBA的布尔值模型及其一些基本性质 145
3. COGA的布尔值模型及其一些基本性质 165
4. ACGA的布尔值模型及其一些基本性质 174
附 论文 180
参考文献 185