5.5301
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 nun freilich sagen, daß eben nur a diese Beziehung zu a habe, aber um dies auszudrücken, brauchten wir das Gleichheitszeichen selber.