Kann es keinen Beweis geben der bloß zeigt daß z.B. jede Multiplikation im Dezimalsystem nach den Regeln eine An Zahl des Dezimalsystems liefern muß? – E[r|s] müßte analog sein einem Beweis dafür, daß durch Addition von Formen Ausdrücken der Art (1), ((1) + 1), (((1) + 1) + 1) u.s.w. immer wieder Ziffern von dieser Form erzeugt werden. Kann man das nun beweisen? Der Beweis liegt offenbar in der Regel der Addition solcher Ausdrücke, d.h. in der Definition & in nichts anderem. (Man könnte ja auf die Frage & auf die der Beweis die Antwort geben sollte auch sagen: „Ja, was soll die Addition denn sonst ergeben?”)