X  
Der Gleichungskalkül ist gegeben. In diesem Kalkül bedeutet hat ‚Beweis’ eine
fixe
festgelegte
Bedeutung. Nenne ich nun auch die induktive Rechnung einen Beweis, so erspart mir dieser Beweis doch 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.