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
.