以找到一个集合 "A" ，它的成员就是 "x" 和 "y"。我们可以使用外延公理证明这个集合 "A" 是唯一的。我们可以叫这个集合 "A" 为 "x" 和 "y" 的对，并把"A"指示为 {"x","y"}。所以这个公理的本质是：配对公理还允许定义有序对。对于任何集合 formula_2 和 formula_3，有序对的定义如下：注意这个定义满足条件有序的"n"-元组可以递归的定义如下：配对公理一般被认为是无可争议的，它或它的等价命题出现在任何可替代的集合论的公理化中。不过在 Zermelo