Question

Wollten wir es durch Einführung einer Marke in die Argumentstellen versuchen—etwa so: „(A, A).F(A, A)“—es würde nicht genügen—wir könnten die Identität der Variablen nicht feststellen. U.s.w.

Accepted Answer

If we were to try it by introducing a mark in the argument places, like “(G, G).F(G, G)”, it would not do—we could not determine the identity of the variables, etc.

Front	Wollten wir es durch Einführung einer Marke in die Argumentstellen versuchen—etwa so: „(A, A).F(A, A)“—es würde nicht genügen—wir könnten die Identität der Variablen nicht feststellen. U.s.w.
Back	If we were to try it by introducing a mark in the argument places, like “(G, G).F(G, G)”, it would not do—we could not determine the identity of the variables, etc.

Die Nicht Wollten Wir Es Durch Einführung Einer