Axiom ax_uni ≪ | index | src | ≫

axiom ax_uni {u x y z: set}:
  $ \fo x \ex y \fo z (z \in y \iff \ex u (u \in x \and z \in u)) $;