延公理可写成：若"x"和"y"有相同的元素，则它们属于同一个集合
2.正规公理.Axiom of regularity / Axiom of foundation每个非空集合"x"都包含一个成员"y"，使得"x"和"y"不相交。
3.分类公理.设"z"为一个集合，且formula_6为任一个描述"z"内元素"x"的特征的性质，则存在"z"的子集"y"，包含"z"内满足这个性质的"x"。这个「限制」可用来避免罗素悖论之类的悖论。更形式化地说，令form