Axiomatic system

Mathematical term; concerning axioms used to derive theorems

In mathematics and logic, an axiomatic system or axiom system is a standard type of deductive logical structure, used also in theoretical computer science. It consists of a set of formal statements known as axioms that are used for the logical deduction of other statements. In mathematics these logical consequences of the axioms may be known as lemmas or theorems.

From Wikipedia, under CC BY-SA. More on occurri.