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.
برای اولین قدم تا رسیدن به پاسخ این پرسش‌ها در نظریه اصل موضوعی مجموعه‌ها، به اصل موضوع مجموعه‌ساز دیگری نیازمندیم که اصل موضوع زوج سازی (Axiom of Pairing) نام دارد.