Noun: axiomatic system
- A set of axioms from which theorems can be logically derived
"An axiomatic system is said to be consistent if it lacks contradiction"
Derived forms: axiomatic systems
Type of: formal system
Encyclopedia: Axiomatic system