Template:Individual-TLP-paragraph-it-5.5301

5.5301 È ovvio che l'identità non è una relazione tra oggetti. Ciò risulta molto chiaro se si esamina ad es. la proposizione «(x) : f x . ⊃ . x = a». Ciò che dice questa proposizione è semplicemente che solo a soddisfa la funzione f, e non che soddisfano la funzione f solo quelle cose che hanno una certa relazione con a.

Certo si potrebbe allora dire che proprio solo a ha questa relazione con a, ma per esprimere ciò avremmo bisogno appunto del segno di uguaglianza.