幂集公理
axiom ax_pow {w y z: set} (x: set): $ \ex y \fo z (\fo w (w \in z \imp w \in x) \imp z \in y) $;