/  
   Der Beweis zeigt, dass aus der Form 1[(|)] “A(c)” mittels der Regel 2) “A(1)” die Form “A(c + 1)” folgt. Oder, was dasselbe heisst, die F[ä|o]rm “A(c + 1)” lässt sich mit Hilfe der Regeln 1) und 2) in “(a + b) + (c + 1)” überführen. “a + (b) + (c + 1))”
Das ist die ganze Wirklichkeit des Beweises. Alles andere und die ganze gewöhnliche Interpretation liegt in der Möglichkeit seiner Anwendung. Und der gewöhnliche Fehler, darin, die Extension seiner Anwendung mit dem zu verwechseln, was er eigentlich enthält.