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
İngilizce - İngilizce
axiom system
a set of axioms or axiom schemata from which theorems can be derived