(Wenn wir statt
„(Еx)(Еx)
⊃ (Еx,y)”
schrieben: „(Еx)(Еx)
⊃ (Еx + x)”, so
hätte das keinen Sinn; es sei denn, daß die Notation von
vornherein nicht
λ) „(Еx)
etc
.”,
„(Еxy)
etc
.”,
„(Еxyz)
etc
.”, lautet sondern
κ)
„(Еx)
etc
.”,
„(Еx + x)
etc
.”,
„(Еx + x + x)
etc
.”.
Denn warum
sollten wir plötzlich statt
„(Еxy)
(Еx) ⊃
(Еxyz)” schreiben
„(Еxy)
(Еx) ⊃
(Еxy + x)”? das wäre nur eine Verwirrung
der Notation. – Nun sagt man: Es
vereinfacht doch das Hinschreiben der Tautologie sehr, wenn man in der
rechten Klammer gleich die Ausdrücke der beiden linken
hinschreiben kann. Aber diese Schreibweise ist ja
noch gar nicht erklärt; ich weiß ja nicht, was
(Еxy + x)
bedeutet, daß nämlich
(Еxy + x) =
(Еxyz).