So ist „
= 0” eine
willkürliche
Ersetzungsregel solange der Ausdruck
lim etc
. nicht
in einem Limes-K
alkül steht.
Die Verbindung dieses Kalküls mit den
induktiven Eigenschaften von
,
z.B
., besteht darin daß der
Kalkül die gleichen
Überg
änge von Gleichung zu
Gleichung erlaubt die von Induktionsproze
ß zu
Induktionsproze
ß möglich
sind.