No Tractatus Logico-Philosophicus, o sinal de identidade é excluÃdo de qualquer uso significativo na linguagem porque expressões como “a = a†e “a = b†não podem ser proposições elementares e proposições necessárias ao mesmo tempo. Por isso, a identidade é usada como uma operação. Esse uso não tem pretensões significativas, mas apenas indica o caráter intersubstituÃvel dos sinais envolvidos.
