Home / Get Math Help
Axiom 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.