Es muß die Stellung des alge-
braisch geführten rekursiven Beweises viel klarer machen, wenn man statt seiner die Reihe von arithmetischen Beweisen mit dem ‚u.s.w.’ setzt. Denn durch diese ist der erste offenbar
ersetzbar
zu ersetzen
.