# axiom system

## EnglishEdit

### NounEdit

**axiom system** (*plural* **axiom systems**)

- A set of axioms or axiom schemata from which theorems can be derived.

**axiom system** (*plural* **axiom systems**)

- A set of axioms or axiom schemata from which theorems can be derived.