Axiom ax_pow ≪ | index | src | ≫

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