Abhijeet Mulgund's Personal Webpage

Search

Search IconIcon to open search

Axiom of Pairing

Last updated Nov 1, 2022

# 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.