外延公理 在公理化集合论与使用它的逻辑数学和计算机科学分支中外延性公理或外延公理英語Axiom of extensionality是 ZermeloFraenkel 集合论的公理之一