5.5301
Dass 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, dass nur a der Funktion f genügt, und nicht, dass nur solche Dinge der Funktion f genügen, welche eine gewisse Beziehung zu a haben. Man könnte nun freilich sagen, dass eben nur a diese Beziehung zu a habe, aber, um dies auszudrücken, brauchten wir das Gleichheitszeichen selber.