Der Gleichungskalkül ist gegeben. In diesem
Kalkül hat ‘Beweis’ eine
festgelegte || fixe Bedeutung. Nenne ich
nun auch die induktive
Rechnung einen Beweis, so erspart
mir dieser Beweis doch
462
nicht die Kontrolle, ob die
Übergänge der Gleichungskette, nach
diesen bestimmten Regeln (oder Paradigmen)
gemacht sind. Ist das der Fall, so sage ich, die letzte
Gleichung der Kette sei bewiesen; oder auch, die Gleichungskette
stimme.