A logical system which possesses an explicitly stated Set of Axioms from which Theorems can be derived.