Axiom ax_4 ≪ | index | src | ≫

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