Axiom ax_pr ≪ | index | src | ≫

axiom ax_pr {w x y z: set}:
  $ \fo x \fo y \ex z \fo w (w \in z \iff w = x \or w = y) $;