Axiom ax_f2 ≪ | index | src | ≫

axiom ax_f2 (A B: wff) {x: set}: $ \fo x (A \imp B) \imp \fo x A \imp \fo x B $;