An axiom schema. ∃ z ′ ∀ x {\displaystyle \exists z'\forall x} .
Ένα αξιωματικό σχήμα. ∃ z ′ ∀ x {\displaystyle \exists z'\forall x} .