无穷公理
axiom ax_inf {w y z: set} (x: set): $ \ex y (x \in y \and \fo z (z \in y \imp \ex w (z \in w \and w \in y))) $;