axiomatizaríamos