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