axiom of set theory Deductions 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)