Darf ich es so sagen: “Die Übertragung des Strichsystems ins Dezimalsystem 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.”?