axiomatizabas