Axiom ax_ext ≪ | index | src | ≫

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