axiomatizabilities