[K|D]arf ich es so sagen: “Die Übertragung des Strichsystems ins Decimalsystem setzt eine
209
induktive
rekursive
Definition voraus. Diese // Eine solche // Definition führt aber nicht die Abkürzung eines Ausdrucks durch einen andern ein. Der Induktive Beweis im Dezimalsystem aber enthält natürlich nicht die Menge jener
Dezimalzeichen
Zeichen
die durch die ind
induktive
rekursive
Definition in Strichzeichen zu übertragen wären.
Dieses Beweiszeichen
Dieser allgemeine Beweis
, kann daher durch die rekursive Definition nicht in
ein Beweiszeichen
einen Beweis
des Strichsystems übertragen werden.”?