Axiom ax_f3 ≪ | index | src | ≫

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