HOME TOP UP PREV NEXT 1 2 GERMAN MAP Tractatus Logico-Philosophicus 4.041
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.
All these ways of symbolizing are inadequate because they have not the necessary mathematical multiplicity.