axiomatizes