质并“位于没有给定集合中”的所有对象的集合(Zermelo 的分离公理)。这允许在有限制意义上的集合形成，而(有希望)保存理论的相容性。但是尽管它优雅的解决了逻辑问题，但哲学问题依旧。只要个体们存在这些个体的集合就应存在是很自然的。在朴素的意义上，集合论可以被称为基于了这个概念。Zermelo 的修正将提交给我们一个更神秘的真类的概念: 在我们的理论中有着没有作为一个对象(集合)的任何形式存在的对象的类。例如，所有集合的类就是这种真类。