理： 作： "x"={}，"y"="a"，我们得到 A 为 {"a"}。接着再作代入："x"={"a"}，"y"="b"，我们得到 "A" 为 {"a","b"}。透过这种方式可以构造任意有限集合。而且这个公理可以用来生成所有继承有限集合，而不需使用并集公理。