axiom of pairing
Deductions
- axiom is for example axiom of pairing ⇐ (axiom of pairing is a axiom), (is a is inverse of is for example)
- axiom of pairing is a axiom ⇐ (axiom of set theory is subclass of axiom), (axiom of pairing is a axiom of set theory)
- axiom of set theory is for example axiom of pairing ⇐ (axiom of pairing is a axiom of set theory), (is a is inverse of is for example)