Axiom ax_ext ≪ | index | src | ≫

axiom ax_ext {z: set} (x y: set): $ \fo z (z \in x \iff z \in y) \imp x = y $;