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.