Template:Individual-TLP-paragraph-fr-5.5301

5.5301 Que l'identité ne soit pas une relation entre objets, c'est évident. Cela devient très clair, si l'on considère, par exemple, la proposition : « (x) : fx . ⊃ . x = a ». Cette proposition dit simplement que a est seul à satisfaire la fonction f, et non que seules satisfont la fonction f des choses qui ont une relation déterminée avec a.

On pourrait dire alors, il est vrai, que a seul a cette relation avec a, mais pour exprimer cela nous aurions besoin du signe d'égalité lui-même.