Daß die Identität keine Relation zwischen Gegenständen ist, leuchtet ein.
Dies wird sehr klar, wenn man z.B. den Satz
"(x) : fx . . x=a" betrachtet.
Was dieser Satz sagt, ist einfach, daß nur a der
Funktion f genügt, und nicht, daß nur solche Dinge der Funktion
f genügen, welche eine gewisse Beziehung zu a haben.
Man könnte freilich sagen, daß eben nur a diese
Beziehung zu a habe, aber um dies auszudrücken, brauchten wir
das Gleichheitszeichen selber.