axiomatizaras