Axiom schema of specification
article-link
What links here
Axiom of empty set
Axiom schema of replacement
article-link
Axiom of pairing
article-link
First-order logic
article-link
Empty set
article-link
Naive set theory
article-link
Axiom of the empty set
redirect