• act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also axiomatization)
