集合论
在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理是 Zermelo-Fraenkel 集合论的公理之一。