Axiomatic System

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

See also Complete Axiomatic Theory, Consistency, Model Theory, Theorem