外延性の公理
A, B を任意の集合とするとき、もし任意の集合 X について「X が A の要素であるならば、そのときに限り X は B の要素である」が成り立つならば、A と B は等しい。すなわち、
∀ A ∀ B ( ∀ X ( X ∈ A ⟺ X ∈ B ) ⇒ A = B ) {\displaystyle \forall A\,\forall B\,(\forall X\,(X\in A\iff X\in B)\Rightarrow A=B)}