5˙3302
Dies wird sehr klar, wenn man z.B. den Satz (x):φ(x) ⊃ x = a betrachtet. Was dieser Satz sagt ist einfach, daß nur a der Funktion φ genugt und nicht daß nur solche Dinge φ 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.