Axiom ax_11 ≪ | index | src | ≫

axiom ax_11 {x y: set} (P: wff x y): $ \fo x \fo y P \imp \fo y \fo x P $;