(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).