Wenn zwei Ausdrücke durch das Gleichheitszeichen verbunden werden, so heißt das, sie sind durcheinander ersetzbar. Ob dies aber der Fall ist, muß sich an den beiden Ausdrücken selbst zeigen.

Es charakterisiert die logische Form zweier Ausdrücke, daß sie durch einander ersetzbar sind.

6.231    Es ist eine Eigenschaft der Bejahung, daß man sie als doppelte Verneinung auffassen kann.

Es ist eine Eigenschaft von "1+1+1+1", daß man es als "(1+1) + (1+1)" auffassen kann.

6.232 (3)   Frege sagt, die beiden Ausdrücke haben dieselbe Bedeutung, aber verschiedenen Sinn.

Das Wesentliche an der Gleichung ist aber, daß sie nicht notwendig ist, um zu zeigen, daß die beiden Ausdrücke, die das Gleichheitszeichen verbindet, dieselbe Bedeutung haben, da sich dies aus den beiden Ausdrücken selbst ersehen läßt.

6.233 (1)   Die Frage, ob man zur Lösung der mathematischen Probleme die Anschauung brauche, muß dahin beantwortet werden, daß eben die Sprache hier die nötige Anschauung liefert.