所以，它可以作为公理模式来替代空集公理和配对公理。但是人们通常单独使用空集公理和配对公理，并把它作为一个定理模式来证明。注意接受这个模式为公理模式不会替代并集公理，在其他情况下仍需要并集公理。
其他替代者.另一个公理在给定空集公理时可以蕴涵配对公理： 作： "x"={}，"y"="a"，我们得到 A 为 {"a"}。接着再作代入："x"={"a"}，"y"="b"，我们得到 "A" 为 {"a","b"}。透过这种方式可以构造任意有限集合。而且这个公理可以用来生成所有继承有限