axiomatizábamos