axiomatic system

Meanings by context

CommonParlance
- definition any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.