∀ Axioms