axiomatic formulation