axiomatizabais