1989年A.Blass和A.Scedrov构造了含有原子的模型V（A）（A是所有原子的集合，参见文献[1]）并证明了V（A）是ZFA（ZFA=ZF＋A,公理A断言：存在所有原子的......