Concept
Axiom of pairing
Overview
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.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Formal language
- Finite set
- Tuple
- If and only if
- Zermelo–Fraenkel set theory
- Mathematics
- Natural number
- Ordered pair
- Axiom of infinity
- Set theory
- Theorem
- Singleton (mathematics)
- Logic
- Axiom of extensionality
- Axiom schema of replacement
- Computer science
- Existential quantification
- Axiom
Place in the tradition
Part of Logicism.