Term: axiom
Example: axiom of extensionality
Definition: (n