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