Wie verhält es sich mit Ungleichungen?
Auch sie sind offenbar Zeichenregeln.
Kann man Zeichenregeln durch
Sätze – die von den Zeichen
handeln – ersetzen?
Wenn ja, so ist es klar daß ich die ganze Logik auf Zeichenregeln, also
in einem übertragenen Sinn auf
Gleichungen anwenden kann.