Die Gleichung zwischen reellen Zahlen verhält sich also zu ihrem Beweis, wie eine algebraische Gleichung zu dem Induktionsbeweis, dem sie entspricht.
     Was ist aber das Verhältnis einer algebraischen Gleichung zu “ihrem” Induktionsbeweis.
     In dem Beweis ist etwas zu sehen und das wird in dem algebraischen Satz als gegeben angenommen; d.h. der Satz wird so gewählt, daß dem gegebenen arithmetischen Rechnung getragen wird. ¤
84
¤
     Damit das möglich ist, muß zwischen Beweis und Satz eine eindeutige symbolische Entsprechung bestehen.