在公理化集合论和使用它的逻辑、数学和计算机科学分支中，配对公理是 Zermelo-Fraenkel 集合论的公理之一。
形式陈述.在 Zermelo-Frankel 公理的形式语言中，这个公理读做：换句话说：
解释.这个公理实际说的是，给定两个集合 "x" 和 "y"，我们可以找到一个集合 "A" ，它的成员就是 "x" 和 "y"。我们可以使用外延公理证明这个集合 "A" 是唯一的。我们可以叫这个集合 "A" 为 "x" 和 "y" 的对，并把"A"指