axiom system
noun
°A set of axioms or axiom schemata from which theorems can be derived.
synonyms: axiomatic system