Kann es keinen Beweis geben, der bloss zeigt, z.B. dass z.B. jede Multiplikation im Dezimalsystem nach den Regeln eine Zahl des Dezimalsystems liefern muss? – Er müsste analog sein einem Beweis dafür, dass durch Addition von Ausdrücken der Art (1), ((1) + 1), (((1) + 1) + 1), u.s.w. im-
703
mer 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 und 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?”)