axiomatizase