Wiktionary
axiom system
n. A set of axioms or axiom schemata from which theorems can be derived.