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