SMS dit: Identidad en la lógica matemática