Axiom of Pairing
# Axiom
$$\forall u \forall v \exists B \forall x [x \in B \Leftrightarrow (x = u \vee x = v)]$$ This axiom allows us to create sets containing any two elements we already know to exist.
Search
$$\forall u \forall v \exists B \forall x [x \in B \Leftrightarrow (x = u \vee x = v)]$$ This axiom allows us to create sets containing any two elements we already know to exist.