正则公理
axiom ax_reg {y z: set} (x: set): $ \ex y y \in x \imp \ex y (y \in x \and \fo z (z \in y \imp \neg z \in x)) $;