Noun
axiomatic system (plural axiomatic systems) (logic) A set of axioms from which theorems can be derived.