A method of constructing a mathematical theory by starting with a small set of axioms and deriving all other propositions by using logical rules of inference.
A method of constructing a mathematical theory by starting with a small set of axioms and deriving all other propositions by using logical rules of inference.