follow Dictionary.com
the process of defining mathematical systems by a set of axioms
The Boolean logic of propositions has many different axiomatizations which are formally equivalent.