con los axiomas: