Axiom ax_13 ≪ | index | src | ≫

axiom ax_13 {x: set} (y z: set): $ \neg x = y \imp y = z \imp \fo x y = z $;