6.23
Wenn zwei Ausdrücke durch das Gleicheitszeichen 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.