Darf ich es so
sagen: “Die Übertragung des Strichsystems
ins De
zimalsystem setzt eine
209
rekursive || induktive 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
Zeichen || Dezimalzeichen die durch die
rekursive || induktive
Definition in Strichzeichen zu übertragen wären.
Dieser allgemeine Beweis || Dieses
Beweiszeichen, kann daher durch die rekursive Definition
nicht in
einen Beweis || ein Beweiszeichen des
Strichsystems übertragen werden.”?