Meine ich nicht folgendes: Man könnte statt der ganzen Algebra
eine Rechnung
einen Kalkül
mit arithmetischen Induktionsreihen setzen.
Dann aber würde
diese
die
Rechnung zerfallen, in das Rechnen mit Ziffern durch Transformieren von Gleichungen etwa, und in ein Sehen
von Induktionen & ein Rechnen mit ihnen. Und diese beiden Teile blieben getrennt, & das Rechnen mit der Regel α, z.B., könnte die Grenzen nicht verwischen. (Wie z.B. das Rechnen mit x/y die Grenzen zwischen ⌵ und ~ verwischt.)