This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (March 2013) |
In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo–Fraenkel set theory. It was introduced by Zermelo (1908) as a special case of his axiom of elementary sets.