Noun
axiom system (plural axiom systems) A set of axioms or axiom schemata from which theorems can be derived.