配对公理 在公理化集合论和使用它的逻辑数学和计算机科学分支中配对公理是 ZermeloFraenkel 集合论的公理之一