axiom

Deductions

• mathematical concept is for example axiom ⇐ (axiom is a mathematical concept), (is a is inverse of is for example)
• 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)