noun
The reduction of some system or concept to a set of axioms.
The result of establishing a concept within a system of axioms; axiomatic system.