Axiom ax_10 ≪ | index | src | ≫

axiom ax_10 {x: set} (P: wff x): $ \neg \fo x P \imp \fo x \neg \fo x P $;