Man dürfte also die Erklärung von ( ) = ( ) nicht so
schreiben:
ξ = ξ ≝
Taut.
ξ = η ≝
Cont.
sondern man müßte sagen:
Wenn &
nur wenn
„ξ” & „η” den
Zeichenregeln zu Folge die gleiche Bedeutung haben dann ist
„ξ = η”
Taut.; wenn „ξ” & „η” den Zeichenregeln
zu Folge nicht dieselbe Bedeutung haben dann ist „ξ = η”
Cont..
Es wird vielleicht zweckmäßig sein da
s so erklärte
Gleichheitszeichen anders zu schreiben etwa
„ξ↔η” zum
Unterschied von „ξ = η” welches eine
Zeichenregel darstellt & besagt daß wir
ξ
durch η ersetzen dürfen.
Das nämlich kann ich aus ξ↔η nicht
ersehen sondern nur daraus daß ξ↔η eine
Tautologie ist aber auch das weiß ich ja erst wenn ich schon die
Ersetzungsregeln kenne.