Pātuhitia tēnei: Identidad en la lógica matemática