Se agregaron los  cuantificadores a los axiomas de tadTitulo