##### 外延公理 - 外延公理 - **外延公理**在[[策梅洛-弗兰克尔集合论]]中表示[[集合]]是由其元素唯一确定的. 换句话说, 如果两个集合的元素完全相同, 那么它们就是同一个集合. 这一公理确保集合是基于元素的数学对象, 而不是基于描述或构造的方式 - $\forall A \forall B (A = B \leftrightarrow \forall x (x \in A \leftrightarrow x \in B))$