Man dürfte also die Erklärung des Gleichheitszeichens nicht so schreiben:
x = x ist Taut.
x = y ist Kont. sondern man müßte sagen: Wenn, und nur wenn, “x” und “y” den Zeichenregeln zufolge also etwa der Regel x = y = Def zufolge die gleiche Bedeutung haben, dann ist “x = y” Taut.; wenn “x” und “y” den Zeichenregeln zufolge nicht dieselbe Bedeutung haben, dann ist “x = y” Kont.. Es wäre dann zweckmäßig, das so erklärte Gleichheitszeichen anders zu schreiben zum Unterschied von “x = y” welches eine Zeichenregel darstellt und besagt, daß wir x durch y ersetzen dürfen. Das nämlich kann ich aus dem oben erklärten Zeichen nicht ersehen, sondern nur daraus daß es eine Tautologie ist, aber auch das weiß ich ja erst, wenn ich schon die Ersetzungsregeln kenne.