Se agregaron los cuantificadores a los axiomas de tadPromesa