Any system of → logic which explicitly states → axioms from which → theorems can be → deduced.
See also: → axiomatic; → system.
