Axiom ax_un ≪ | index | src | ≫

axiom ax_un {w y z: set} (x: set):
  $ \ex y \fo z (\ex w (z \in w \and w \in x) \imp z \in y) $;