Ich glaube man könnte das Gleichheitszeichen ganz aus
unserer Notation entfernen und die Gleichheit immer nur durch die Gleichheit der Zeichen (u.u.) andeuten. Es wäre dann freilich φ(a, a) kein spezieller Fall von (x,y).φ(x,y) und φa keiner von (∃x,y).φx.φy. Dann aber könnte man statt φx.φy ⊃ x,y x = y einfach schreiben ~(∃x,y) . φx.φy.