Stav dette: Identidad en la lógica matemática