axiom system

Noun

 * 1) A set of axioms or axiom schemata from which theorems can be derived.