Template:Individual-TLP-paragraph-de-6.23

6.23 Wenn zwei Ausdrücke durch das Gleichheitszeichen verbunden werden, so heisst das, sie sind durch einander ersetzbar. Ob dies aber der Fall ist muss sich an den beiden Ausdrücken selbst zeigen.

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