axiomatized