Axiom ax_gen ≪ | index | src | ≫

axiom ax_gen {x: set} (A: wff x): $ A $ > $ \fo x A $;