Axiom ax_emp ≪ | index | src | ≫

axiom ax_emp {x y: set}: $ \ex x \fo y y \nin x $;