述.在 Zermelo-Frankel 公理的形式语言中，这个公理读做：换句话说：
解释.这个公理实际说的是，给定两个集合 "x" 和 "y"，我们可以找到一个集合 "A" ，它的成员就是 "x" 和 "y"。我们可以使用外延公理证明这个集合 "A" 是唯一的。我们可以叫这个集合 "A" 为 "x" 和 "y" 的对，并把"A"指示为 {"x","y"}。所以这个公理的本质是：配对公理还允许定义有序对。对于任何集合 formula_2 和 formula_3，有序对的定义如