Text this: Identidad en la lógica matemática