Axiom ax_f1 ≪ | index | src | ≫

axiom ax_f1 (A: wff) {x: set} (y: set): $ \fo x A \imp \rep{y}{x} A $;