外延公理

在公理化集合論與使用它的邏輯 、 數學和計算機科學分支中 ， 外延性公理或外延公理是 Zermelo - Fraenkel 集合論的公理之一 。