6.23
If two expressions are connected by the sign of equality, this means that they can be substituted for one another. But whether this is the case must show itself in the two expressions themselves. It characterizes the logical form of two expressions, that they can be substituted for one another.