6.23
Wenn zwei Ausdrücke durch das Gleichheitszeichen verbunden werden, so heißt das, sie sind durch einander 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.