a set of axioms or axiom schemata from which theorems can be derived

listen to the pronunciation of a set of axioms or axiom schemata from which theorems can be derived
Englisch - Englisch
axiom system