叫这个集合 "A" 为 "x" 和 "y" 的对，并把"A"指示为 {"x","y"}。所以这个公理的本质是：配对公理还允许定义有序对。对于任何集合 formula_2 和 formula_3，有序对的定义如下：注意这个定义满足条件有序的"n"-元组可以递归的定义如下：配对公理一般被认为是无可争议的，它或它的等价命题出现在任何可替代的集合论的公理化中。不过在 Zermelo-Fraenkel 集合论的标准陈述里，配对公理可以从幂集公理和替代公理模式中得出，所以它有时被省略。Section