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.