axiom system

listen to the pronunciation of axiom system
İngilizce - İngilizce
A set of axioms or axiom schemata from which theorems can be derived
axiom system