a + (b + 1) = (a + b) + 1
durch eine Definition gewinnen, indem er sagt[13]:
»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!
Mill fährt fort: »Nachdem dieser Satz zugegeben ist, nennen wir alle dergleichen Theile 3«. Man erkennt hieraus, dass es eigentlich unrichtig ist, wenn die Uhr drei schlägt, von drei Schlägen zu sprechen, oder süss, sauer, bitter drei Geschmacksempfindungen zu nennen; ebensowenig ist der Ausdruck »drei Auflösungsweisen einer Gleichung« zu billigen; denn man hat niemals davon den sinnlichen Eindruck wie von ⁰₀⁰.
Nun sagt Mill: »Die Rechnungen folgen nicht aus der Definition selbst, sondern aus der beobachteten Thatsache.« Aber wo hätte sich Leibniz in dem oben mitgetheilten Beweise des Satzes 2 + 2 = 4 auf die erwähnte Thatsache berufen sollen? Mill unterlässt es die Lücke nachzuweisen, obwohl er einen dem leibnizischen ganz entsprechenden Beweis des Satzes 5 + 2 = 7 giebt.[16] Die wirklich vorhandene Lücke, die in dem Weglassen der Klammern liegt, übersieht er wie Leibniz.