Wie aber, wenn ein logischer Beweis von einem Satz zum andern Satz || von Satz zu 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