Igualdad matemática

La expresión «es igual a» o «es lo mismo que» se suele representar en matemáticas con el signo =.

El signo = (igual), utilizado para indicar el resultado de una operación aritmética, fue ideado por el matemático Robert Recorde en 1557.

Para indicar que dos objetos x e y son iguales, se utiliza el símbolo = de esta manera:[2]​

Esto significa que, si dos objetos representados por diferentes letras son en realidad el mismo, se relacionan a través del signo igual.

La igualdad se define como una relación de equivalencia que cumple los siguientes axiomas:[2]​ (Si dos símbolos son iguales, entonces uno puede ser sustituido por el otro).

Para formalizar esto, debemos poder decir: Sin embargo, en la lógica de primer orden, no podemos cuantificar sobre predicados.