Axiom ax_6 ≪ | index | src | ≫

axiom ax_6 {x: set} (y: set): $ \ex x x = y $;