axiomatizaran