Man dürfte also die Erklärung des Gleichheitszeichens nicht so schreiben: x = x ist Taut.
x = y Kont. sondern man müsste sagen: Wenn, und nur wenn, “x” und “y” den Zeichenregeln 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ässig, das so erklärte Gleichheitszeichen anders zu schreiben zum Unterschied von “x = y” welches eine Zeichenregel darstellt und besagt, dass wir x durch y ersetzen dürfen. Das nämlich kann ich aus dem oben erklärten Zeichen nicht ersehen, sondern nur daraus dass es eine Tautologie ist, aber auch das weiss ich ja erst, wenn ich schon die Ersetzungsregeln kenne.