461
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.