Este axioma prohíbe la existencia de conjuntos extraños, tales como conjuntos que cumplan: "x"∈"x"; o un par de conjuntos con "x"∈"y" ∧ "y"∈"x"; así como también la existencia de cadenas descendientes infinitas: