axiomatise

• express a theory as a set of basic assumption (also axiomatize)