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