Wie aber, wenn ein logischer Beweis
von Satz zu Satz
von einem Satz zum andern Satz
fortschreitet?
  Nun, der Beweis des Satzes beweist natürlich immer seine Beweisbarkeit ˇ(Konstruierbarkeit) – aber wird er nicht auch anders benützt? Liegt hier nicht das Interesse, das diese Transformationen für uns haben, wo anders, als im früher betrachteten Fall.
98