axiomatizing