Home / Get Math Help
Axiomatic System
Alternate name
Definition
A logical system which possesses an explicitly stated set of axioms from which theorems can be derived.
Related terms
A logical system which possesses an explicitly stated set of axioms from which theorems can be derived.