总体自身必定是集合，所以位于这个层次中的某个地方而不能包含所有集合。这个问题的标准解决可在 Zermelo集合论中找到，它不允许对任意性质的无限制的集合形成。转而我们可以形成有某个给定性质并“位于没有给定集合中”的所有对象的集合(Zermelo 的分离公理)。这允许在有限制意义上的集合形成，而(有希望)保存理论的相容性。但是尽管它优雅的解决了逻辑问题，但哲学问题依旧。只要个体们存在这些个体的集合就应存在是很自然的。在朴素的意义上，集合论可以被称为基于了这个概念。Zermelo 的修正将提交给我们一个