Axiom of specification
Redirect to:
Axiom schema of specification