elo-Fraenkel 公理列表中省略。但是出于历史的考虑，和同下面章节中的集合论的可替代的公理化的比较，它仍是重要的。
无限制概括.无限制的概括公理读做：就是说：在采纳严格公理化之前，这个公理模式默认的用在早年的朴素集合论中。不幸的是，若然把"P"("x")替换成("x"∉"x")，它就直接导致了罗素悖论。所以，有用的集合论的公理化都不能包括无限制概括，至少不跟经典逻辑一同被使用。只接受分类公理模式是公理化集合论的开端。多数其他 Zermelo-Fraenkel 公