外延性公理

$ \forall A\forall B\left(\forall x(x\in A\iff x\in B)\implies A=B\right)

これにより、集合の同一性は要素のみで判定し、要素の順序と重複を無視されることになる

$ \{a, b\}=\{b,a\}

$ \{a,a\}=\{a\}