Axiom of elementary sets