axiom system noun1 •A set of axioms or axiom schemata from which theorems can be derived. formsaxiom systems