axiom system
nounDefinition of axiom system
: a set of axioms together with formal rules for derivation of theorems — compare transformation rule