Axiomatic system
noun
noun ·Uncommon ·Advanced level
Definitions
Noun
- 1 A set of axioms from which theorems can be derived.
- 2 any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. wordnet