on::::一般化.与空集公理一起，配对公理可以一般化为如下模式：就是说：当然，我们不能严格地指出何谓"有限"数目的一些集合，除非早就给定了一个有限集合，而上述的"x" ..., "x"都属于这个集合。所以，这不是一个单一的陈述而是一个，对每个自然数"n" 有一个单独的陈述。例如，要证明情况 "n" = 3，使用配对公理三次，来生成对 {"x","x"}，单元素集合 {"x"}，接着的对 。并集公理接着生成想要的结果 {"x","x","x"}。我们可以扩展这个模式以包括 "n"=0，如果我们