Die Grundlagen der Arithmetik. Frege Gottlob

H. Hankel. Jener will das Gesetz

      a + (b + 1) = (a + b) + 1

      durch eine Definition gewinnen, indem er sagt13:

      »Wenn a und b beliebige Glieder der Grundreihe sind, so versteht man unter der Summe a + b dasjenige Glied der Grundreihe, für welches die Formel

      a + (b + e) = a + b + e

      gilt.«

      Hierbei soll e die positive Einheit bedeuten. Gegen diese Erklärung lässt sich zweierlei einwenden. Zunächst wird die Summe durch sich selbst erklärt. Wenn man noch nicht weiss, was a + b bedeuten soll, versteht man auch den Ausdruck a + (b + e) nicht. Aber dieser Einwand lässt sich vielleicht dadurch beseitigen, dass man freilich im Widerspruch mit dem Wortlaute sagt, nicht die Summe, sondern die Addition solle erklärt werden. Dann würde immer noch eingewendet werden können, dass a + b ein leeres Zeichen wäre, wenn es kein Glied der Grundreihe oder deren mehre von der verlangten Art gäbe. Dass dies nicht statthabe, setzt Grassmann einfach voraus, ohne es zu beweisen, sodass die Strenge nur scheinbar ist.

      § 7. Man sollte denken, dass die Zahlformeln synthetisch oder analytisch, aposteriori oder apriori sind, je nachdem die allgemeinen Gesetze es sind, auf die sich ihr Beweis stützt. Dem steht jedoch die Meinung John Stuart Mill's entgegen. Zwar scheint er zunächst wie Leibniz die Wissenschaft auf Definitionen gründen zu wollen,14 da er die einzelnen Zahlen wie dieser erklärt; aber sein Vorurtheil, dass alles Wissen empirisch sei, verdirbt sofort den richtigen Gedanken wieder. Er belehrt uns nämlich,15 dass jene Definitionen keine im logischen Sinne seien, dass sie nicht nur die Bedeutung eines Ausdruckes festsetzen, sondern damit auch eine beobachtete Thatsache behaupten. Was in aller Welt mag die beobachtete oder, wie Mill auch sagt, physikalische Thatsache sein, die in der Definition der Zahl 777864 behauptet wird? Von dem ganzen Reichthume an physikalischen Thatsachen, der sich hier vor uns aufthut, nennt uns Mill nur eine einzige, die in der Definition der Zahl 3 behauptet werden soll. Sie besteht nach ihm darin, dass es Zusammenfügungen von Gegenständen giebt, welche, während sie diesen Eindruck ⁰₀⁰ auf die Sinne machen, in zwei Theile getrennt werden können, wie folgt: ∘∘ ∘. Wie gut doch, dass nicht Alles in der Welt niet- und nagelfest ist; dann könnten wir diese Trennung nicht vornehmen, und 2 + 1 wäre nicht 3! Wie schade, dass Mill nicht auch die physikalischen Thatsachen abgebildet hat, welche den Zahlen 0 und 1 zu Grunde liegen!