axiomatizaremos