„a = b” sagt „a” kann ich durch „b” ersetzen. Und diese Ersetzung geschieht in Übereinstimmung mit einem gegebenen formalen Gesetz. In Anerkennung eines formalen Gesetzes.