一个含有原子的自然模型∑（A）

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建立模型。因此，我们首先介绍了A.Blass和A.Scedrov的含有原子的模型V（A）;第二，给出并证明V（A）具有的一些基本性质；第三，扩充了集合论的公理系统ZFA的形式语言LZFA并定义含有原子和集合的类C;第四，构造含有原子、集合和类的模型∑（A），称它为自然模型，最后，证明了∑（A）是GBA的模型。