axiomatizability