Words: axiomatic system
Part of speech: n
Definition: any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.
Example: An axiomatic system is said to be consistent if it lacks contradiction (i.e. it is not possible to derive both a statement and its negation from the system's axioms).