论文部分内容阅读
1989年A.Blass和A.Scedrov构造了含有原子的模型V（A）（A是所有原子的集合，参见文献[1]）并证明了V（A）是ZFA（ZFA=ZF＋A,公理A断言：存在所有原子的集合）的模型。由于集合论的公理系统GB是ZF的一个保守扩充，因此，集合论的公理系统GBA（GBA=GB＋A,其中GB是集合论的含有集合和类的哥德尔－贝奈斯公理系统）也是ZFA的一个保守扩充。本文的目的是在集合论的含有原子和集合的公理系统ZFA的自然模型V（A）的基础上，为集合论的含有原子、集合和类的公理系统GBA建立模型。因此，