Axiom ax_pai ≪ | index | src | ≫

axiom ax_pai {u x y z: set}:
  $ \fo x \fo y \ex u \fo z (z \in u \iff z \eq x \or z \eq y) $;