Die Grundlagen der Arithmetik Eine logische mathematische Untersuchung über den Begriff der Zahl
Part 7
§ 49. Wir finden für unsere Ansicht eine Bestätigung bei _Spinoza_, der sagt[77]: »Ich antworte, dass ein Ding blos rücksichtlich seiner Existenz, nicht aber seiner Essenz eines oder einzig genannt wird; denn wir stellen die Dinge unter Zahlen nur vor, nachdem sie auf ein gemeinsames Maass gebracht sind. Wer z. B. ein Sesterz und einen Imperial in der Hand hält, wird an die Zweizahl nicht denken, wenn er nicht dieses Sesterz und diesen Imperial mit einem und dem nämlichen Namen, nämlich Geldstück oder Münze belegen kann: dann kann er bejahen, dass er zwei Geldstücke oder Münzen habe; weil er nicht nur das Sesterz, sondern auch den Imperial mit den Namen Münze bezeichnet.« Wenn er fortfährt: »Hieraus ist klar, dass ein Ding eins oder einzig genannt wird, nur nachdem ein anderes Ding ist vorgestellt worden, das (wie gesagt) mit ihm übereinkommt,« und wenn er meint, dass man nicht im eigentlichen Sinne Gott einen oder einzig nennen könne, weil wir von seiner Essenz keinen abstracten Begriff bilden könnten, so irrt er in der Meinung, der Begriff könne nur unmittelbar durch Abstraction von mehren Gegenständen gewonnen werden. Vielmehr kann man auch von den Merkmalen aus zu dem Begriffe gelangen; und dann ist es möglich, das kein Ding unter ihn fällt. Wenn dies nicht vorkäme, würde man nie die Existenz verneinen können, und damit verlöre auch die Bejahung der Existenz ihren Inhalt.
§ 50. E. _Schröder_[78] hebt hervor, dass, wenn von Häufigkeit eines Dinges solle gesprochen werden können, der Name dieses Dinges stets ein _Gattungsname_, ein allgemeines Begriffswort (notio communis) sein müsse: »Sobald man nämlich einen Gegenstand vollständig -- mit allen seinen Eigenschaften und Beziehungen -- in's Auge fasst, so wird derselbe einzig in der Welt dastehen und seines gleichen nicht weiter haben. Der Name des Gegenstandes wird alsdann den Charakter eines _Eigennamens_ (nomen proprium) tragen und kann der Gegenstand nicht als ein wiederholt vorkommender gedacht werden. Dieses gilt aber nicht allein von _concreten_ Gegenständen, es gilt überhaupt von jedem Dinge, mag dessen Vorstellung auch durch _Abstractionen_ zu Stande kommen, wofern nur diese Vorstellung solche Elemente in sich schliesst, welche genügen, das betreffende Ding zu einem _völlig_ bestimmten zu machen. ... Das letztere« (Object der Zählung zu werden) »wird bei einem Dinge erst insofern möglich, als man von einigen ihm eigenthümlichen Merkmalen und Beziehungen, durch die es sich von allen andern Dingen unterscheidet, dabei absieht oder _abstrahirt_, wodurch dann erst der Name des Dinges zu einem auf mehre Dinge anwendbaren Begriffe wird.«
§ 51. Das Wahre in dieser Ausführung ist in so schiefe und irreführende Ausdrücke gekleidet, dass eine Entwirrung und Sichtung geboten ist. Zunächst ist es unpassend, ein allgemeines Begriffswort Namen eines Dinges zu nennen. Dadurch entsteht der Schein, als ob die Zahl Eigenschaft eines Dinges wäre. Ein allgemeines Begriffswort bezeichnet eben einen Begriff. Nur mit dem bestimmten Artikel oder einem Demonstrativpronomen gilt es als Eigenname eines Dinges, hört aber damit auf, als Begriffswort zu gelten. Der Name eines Dinges ist ein Eigenname. Ein Gegenstand kommt nicht wiederholt vor, sondern mehre Gegenstände fallen unter einen Begriff. Dass ein Begriff nicht nur durch Abstraction von den Dingen erhalten wird, die unter ihn fallen, ist schon _Spinoza_ gegenüber bemerkt. Hier füge ich hinzu, dass ein Begriff dadurch nicht aufhört, Begriff zu sein, dass nur ein einziges Ding unter ihn fällt, welches demnach völlig durch ihn bestimmt ist. Einem solchen Begriffe (z. B. Begleiter der Erde) kommt eben die Zahl 1 zu, die in demselben Sinne Zahl ist wie 2 und 3. Bei einem Begriffe fragt es sich immer, ob etwas und was etwa unter ihn falle. Bei einem Eigennamen sind solche Fragen sinnlos. Man darf sich nicht dadurch täuschen lassen, dass die Sprache einen Eigennamen, z. B. Mond, als Begriffswort verwendet und umgekehrt; der Unterschied bleibt trotzdem bestehen. Sobald ein Wort mit dem unbestimmten Artikel oder im Plural ohne Artikel gebraucht wird, ist es Begriffswort.
§ 52. Eine weitere Bestätigung für die Ansicht, dass die Zahl Begriffen beigelegt wird, kann in dem deutschen Sprachgebrauche gefunden werden, dass man zehn Mann, vier Mark, drei Fass sagt. Der Singular mag hier andeuten, dass der Begriff gemeint ist, nicht das Ding. Der Vorzug dieser Ausdrucksweise tritt besonders bei der Zahl 0 hervor. Sonst freilich legt die Sprache den Gegenständen, nicht dem Begriffe Zahl bei: man sagt »Zahl der Ballen,« wie man »Gewicht der Ballen« sagt. So spricht man scheinbar von Gegenständen, während man in Wahrheit von einem Begriffe etwas aussagen will. Dieser Sprachgebrauch ist verwirrend. Der Ausdruck »vier edle Rosse« erweckt den Schein, als ob »vier« den Begriff »edles Ross« ebenso wie »edel« den Begriff »Ross« näher bestimme. Jedoch ist nur »edel« ein solches Merkmal; durch das Wort »vier« sagen wir etwas von einem Begriffe aus.
§ 53. Unter Eigenschaften, die von einem Begriffe ausgesagt werden, verstehe ich natürlich nicht die Merkmale, die den Begriff zusammensetzen. Diese sind Eigenschaften der Dinge, die unter den Begriff fallen, nicht des Begriffes. So ist »rechtwinklig« nicht eine Eigenschaft des Begriffes »rechtwinkliges Dreieck«; aber der Satz, dass es kein rechtwinkliges, geradliniges, gleichseitiges Dreieck gebe, spricht eine Eigenschaft des Begriffes »rechtwinkliges, geradliniges, gleichseitiges Dreieck« aus; diesem wird die Nullzahl beigelegt.
In dieser Beziehung hat die Existenz Aehnlichkeit mit der Zahl. Es ist ja Bejahung der Existenz nichts Anderes als Verneinung der Nullzahl. Weil Existenz Eigenschaft des Begriffes ist, erreicht der ontologische Beweis von der Existenz Gottes sein Ziel nicht. Ebensowenig wie die Existenz ist aber die Einzigkeit Merkmal des Begriffes »Gott«. Die Einzigkeit kann nicht zur Definition dieses Begriffes gebraucht werden, wie man auch die Festigkeit, Geräumigkeit, Wohnlichkeit eines Hauses nicht mit Steinen, Mörtel und Balken zusammen bei seinem Baue verwenden kann. Man darf jedoch daraus, dass etwas Eigenschaft eines Begriffes ist, nicht allgemein schliessen, dass es aus dem Begriffe, d. h. aus dessen Merkmalen nicht gefolgert werden könne. Unter Umständen ist dies möglich, wie man aus der Art der Bausteine zuweilen einen Schluss auf die Dauerhaftigkeit eines Gebäudes machen kann. Daher wäre es zuviel behauptet, dass niemals aus den Merkmalen eines Begriffes auf die Einzigkeit oder Existenz geschlossen werden könne; nur kann dies nie so unmittelbar geschehen, wie man das Merkmal eines Begriffes einem unter ihn fallenden Gegenstande als Eigenschaft beilegt.
Es wäre auch falsch zu leugnen, dass Existenz und Einzigkeit jemals Merkmale von Begriffen sein könnten. Sie sind nur nicht Merkmale _der_ Begriffe, denen man sie der Sprache folgend zuschreiben möchte. Wenn man z. B. alle Begriffe, unter welche nur Ein Gegenstand fällt, unter einen Begriff sammelt, so ist die Einzigkeit Merkmal dieses Begriffes. Unter ihn würde z. B. der Begriff »Erdmond,« aber nicht der sogenannte Himmelskörper fallen. So kann man einen Begriff unter einen höhern, so zu sagen einen Begriff zweiter Ordnung fallen lassen. Dies Verhältniss ist aber nicht mit dem der Unterordnung zu verwechseln.
§ 54. Jetzt wird es möglich sein, die Einheit befriedigend zu erklären. _E. Schröder_ sagt auf S. 7 seines genannten Lehrbuches: »Jener Gattungsname oder Begriff wird die Benennung der auf die angegebene Weise gebildeten Zahl genannt und macht das Wesen ihrer Einheit aus.«
In der That, wäre es nicht am passendsten, einen Begriff Einheit zu nennen in Bezug auf die Anzahl, welche ihm zukommt? Wir können dann den Aussagen über die Einheit, dass sie von der Umgebung abgesondert und untheilbar sei, einen Sinn abgewinnen. Denn der Begriff, dem die Zahl beigelegt wird, grenzt im Allgemeinen das unter ihn Fallende in bestimmter Weise ab. Der Begriff »Buchstabe des Wortes Zahl« grenzt das Z gegen das a, dieses gegen das h u. s. w. ab. Der Begriff »Silbe des Wortes Zahl« hebt das Wort als ein Ganzes und in dem Sinne Untheilbares heraus, dass die Theile nicht mehr unter den Begriff »Silbe des Wortes Zahl« fallen. Nicht alle Begriffe sind so beschaffen. Wir können z. B. das unter den Begriff des Rothen Fallende in mannigfacher Weise zertheilen, ohne dass die Theile aufhören, unter ihn zu fallen. Einem solchen Begriffe kommt keine endliche Zahl zu. Der Satz von der Abgegrenztheit und Untheilbarkeit der Einheit lässt sich demnach so aussprechen:
Einheit in Bezug auf eine endliche Anzahl kann nur ein solcher Begriff sein, der das unter ihn Fallende bestimmt abgrenzt und keine beliebige Zertheilung gestattet.
Man sieht aber, dass Untheilbarkeit hier eine besondere Bedeutung hat.
Nun beantworten wir leicht die Frage, wie die Gleichheit mit der Unterscheidbarkeit der Einheiten zu versöhnen sei. Das Wort »Einheit« ist hier in doppeltem Sinne gebraucht. Gleich sind die Einheiten in der oben erklärten Bedeutung dieses Worts. In dem Satze: »Jupiter hat vier Monde« ist die Einheit »Jupitersmond«. Unter diesen Begriff fällt sowohl I als auch II, als auch III, als auch IV. Daher kann man sagen: die Einheit, auf die I bezogen wird, ist gleich der Einheit, auf die II bezogen wird u. s. f. Da haben wir die Gleichheit. Wenn man aber die Unterscheidbarkeit der Einheiten behauptet, so versteht man darunter die der gezählten Dinge.
IV. Der Begriff der Anzahl.
Jede einzelne Zahl ist ein selbständiger Gegenstand.
§ 55. Nachdem wir erkannt haben, dass die Zahlangabe eine Aussage von einem Begriffe enthält, können wir versuchen, die leibnizischen Definitionen der einzelnen Zahlen durch die der 0 und der 1 zu ergänzen.
Es liegt nahe zu erklären: einem Begriffe kommt die Zahl 0 zu, wenn kein Gegenstand unter ihn fällt. Aber hier scheint an die Stelle der 0 das gleichbedeutende »kein« getreten zu sein; deshalb ist folgender Wortlaut vorzuziehen: einem Begriffe kommt die Zahl 0 zu, wenn allgemein, was auch a sei, der Satz gilt, dass a nicht unter diesen Begriff falle.
In ähnlicher Weise könnte man sagen: einem Begriffe F kommt die Zahl 1 zu, wenn nicht allgemein, was auch a sei, der Satz gilt, dass a nicht unter F falle, und wenn aus den Sätzen
»a fällt unter F« und »b fällt unter F«
allgemein folgt, dass a und b dasselbe sind.
Es bleibt noch übrig, den Uebergang von einer Zahl zur nächstfolgenden allgemein zu erklären. Wir versuchen folgenden Wortlaut: dem Begriffe F kommt die Zahl (n + 1) zu, wenn es einen Gegenstand a giebt, der unter F fällt und so beschaffen ist, dass dem Begriffe »unter F fallend, aber nicht a« die Zahl n zukommt.
§ 56. Diese Erklärungen bieten sich nach unsern bisherigen Ergebnissen so ungezwungen dar, dass es einer Darlegung bedarf, warum sie uns nicht genügen können.
Am ehesten wird die letzte Definition Bedenken erregen; denn genau genommen ist uns der Sinn des Ausdruckes »dem Begriffe G kommt die Zahl n zu« ebenso unbekannt wie der des Ausdruckes »dem Begriffe F kommt die Zahl (n + 1) zu.« Zwar können wir mittels dieser und der vorletzten Erklärung sagen, was es bedeute
»dem Begriffe F kommt die Zahl 1 + 1 zu,«
und dann, indem wir dies benutzen, den Sinn des Ausdruckes
»dem Begriffe F kommt die Zahl 1 + 1 + 1 zu«
angeben u. s. w.; aber wir können -- um ein krasses Beispiel zu geben -- durch unsere Definitionen nie entscheiden, ob einem Begriffe die Zahl _Julius Caesar_ zukomme, ob dieser bekannte Eroberer Galliens eine Zahl ist oder nicht. Wir können ferner mit Hilfe unserer Erklärungsversuche nicht beweisen, dass a = b sein muss, wenn dem Begriffe F die Zahl a zukommt, und wenn demselben die Zahl b zukommt. Der Ausdruck »_die_ Zahl, welche dem Begriffe F zukommt« wäre also nicht zu rechtfertigen und dadurch würde es überhaupt unmöglich, eine Zahlengleichheit zu beweisen, weil wir gar nicht eine bestimmte Zahl fassen könnten. Es ist nur Schein, dass wir die 0, die 1 erklärt haben; in Wahrheit haben wir nur den Sinn der Redensarten
»die Zahl 0 kommt zu,« »die Zahl 1 kommt zu«
festgestellt; aber es nicht erlaubt, hierin die 0, die 1 als selbständige, wiedererkennbare Gegenstände zu unterscheiden.
§ 57. Es ist hier der Ort, unsern Ausdruck, dass die Zahlangabe eine Aussage von einem Begriffe enthalte, etwas genauer ins Auge zu fassen. In dem Satze »dem Begriffe F kommt die Zahl 0 zu« ist 0 nur ein Theil des Praedicates, wenn wir als sachliches Subject den Begriff F betrachten. Deshalb habe ich es vermieden, eine Zahl wie 0, 1, 2 _Eigenschaft_ eines Begriffes zu nennen. Die einzelne Zahl erscheint eben dadurch, dass sie nur einen Theil der Aussage bildet, als selbständiger Gegenstand. Ich habe schon oben darauf aufmerksam gemacht, dass man »die 1« sagt und durch den bestimmten Artikel 1 als Gegenstand hinstellt. Diese Selbständigkeit zeigt sich überall in der Arithmetik, z. B. in der Gleichung 1 + 1 = 2. Da es uns hier darauf ankommt, den Zahlbegriff so zu fassen, wie er für die Wissenschaft brauchbar ist, so darf es uns nicht stören, dass im Sprachgebrauche des Lebens die Zahl auch attributiv erscheint. Dies lässt sich immer vermeiden. Z. B. kann man den Satz »Jupiter hat vier Monde« umsetzen in »die Zahl der Jupitersmonde ist vier«. Hier darf das »ist« nicht als blosse Copula betrachtet werden, wie in dem Satze »der Himmel ist blau«. Das zeigt sich darin, dass man sagen kann: »die Zahl der Jupitersmonde ist die vier« oder »ist die Zahl 4«. Hier hat »ist« den Sinn von »ist gleich,« »ist dasselbe wie«. Wir haben also eine Gleichung, die behauptet, dass der Ausdruck »die Zahl der Jupitersmonde« denselben Gegenstand bezeichne wie das Wort »vier.« Und die Form der Gleichung ist die herrschende in der Arithmetik. Gegen diese Auffassung streitet nicht, dass in dem Worte »vier« nichts von Jupiter oder von Mond enthalten ist. Auch in dem Namen »Columbus« liegt nichts von Entdecken oder von Amerika und dennoch wird derselbe Mann Columbus und der Entdecker Amerikas genannt.
§ 58. Man könnte einwenden, dass wir uns von dem Gegenstande, den wir Vier oder die Anzahl der Jupitersmonde nennen, als von etwas Selbständigem durchaus keine Vorstellung[79] machen können. Aber die Selbständigkeit, die wir der Zahl gegeben haben, ist nicht Schuld daran. Zwar glaubt man leicht, dass in der Vorstellung von vier Augen eines Würfels etwas vorkomme, was dem Worte »vier« entspräche; aber das ist Täuschung. Man denke an eine grüne Wiese und versuche, ob sich die Vorstellung ändert, wenn man den unbestimmten Artikel durch das Zahlwort »Ein« ersetzt. Es kommt nichts hinzu, während doch dem Worte »grün« etwas in der Vorstellung entspricht. Wenn man sich das gedruckte Wort »Gold« vorstellt, wird man zunächst an keine Zahl dabei denken. Fragt man sich nun, aus wieviel Buchstaben es bestehe, so ergiebt sich die Zahl 4; aber die Vorstellung wird dadurch nicht etwa bestimmter, sondern kann ganz unverändert bleiben. Der hinzutretende Begriff »Buchstabe des Wortes Gold« ist eben das, woran wir die Zahl entdecken. Bei den vier Augen eines Würfels ist die Sache etwas versteckter, weil der Begriff sich uns durch die Aehnlichkeit der Augen so unmittelbar aufdrängt, dass wir sein Dazwischentreten kaum bemerken. Die Zahl kann weder als selbständiger Gegenstand noch als Eigenschaft an einem äussern Dinge vorgestellt werden, weil sie weder etwas Sinnliches noch Eigenschaft eines äussern Dinges ist. Am deutlichsten ist die Sache wohl bei der Zahl 0. Man wird vergebens versuchen, sich 0 sichtbare Sterne vorzustellen. Zwar kann man sich den Himmel ganz mit Wolken überzogen denken; aber hierin ist nichts, was dem Worte »Stern« oder der 0 entspräche. Man stellt sich nur eine Sachlage vor, die zu dem Urtheile veranlassen kann: es ist jetzt kein Stern zu sehen.
§ 59. Jedes Wort erweckt vielleicht irgendeine Vorstellung in uns, sogar ein solches wie »nur«; aber sie braucht nicht dem Inhalte des Wortes zu entsprechen; sie kann in andern Menschen eine ganz andere sein. Man wird sich dann wohl eine Sachlage vorstellen, die zu einem Satze auffordert, in welchem das Wort vorkommt; oder es ruft etwa das gesprochene Wort das geschriebene ins Gedächtniss zurück.
Dies findet nicht nur bei Partikeln statt. Es unterliegt wohl keinem Zweifel, dass wir keine Vorstellung unserer Entfernung von der Sonne haben. Denn, wenn wir auch die Regel kennen, wie oft wir einen Maasstab vervielfältigen müssen, so misslingt doch jeder Versuch, nach dieser Regel uns ein Bild zu entwerfen, das auch nur einigermaassen dem Gewollten nahe kommt. Das ist aber kein Grund, die Richtigkeit der Rechnung zu bezweifeln, durch welche die Entfernung gefunden ist, und hindert uns in keiner Weise, weitere Schlüsse auf das Bestehen dieser Entfernung zu gründen.
§ 60. Selbst ein so concretes Ding wie die Erde können wir uns nicht so vorstellen, wie wir erkannt haben, dass es ist; sondern wir begnügen uns mit einer Kugel von mässiger Grösse, die uns als Zeichen für die Erde gilt; aber wir wissen, dass diese sehr davon verschieden ist. Obwohl nun unsere Vorstellung das Gewollte oft gar nicht trifft, so urtheilen wir doch mit grosser Sicherheit über einen Gegenstand wie die Erde auch da, wo die Grösse in Betracht kommt.
Wir werden durch das Denken gar oft über das Vorstellbare hinausgeführt, ohne damit die Unterlage für unsere Schlüsse zu verlieren. Wenn auch, wie es scheint, uns Menschen Denken ohne Vorstellungen unmöglich ist, so kann doch deren Zusammenhang mit dem Gedachten ganz äusserlich, willkührlich und conventionell sein.
Es ist also die Unvorstellbarkeit des Inhaltes eines Wortes kein Grund, ihm jede Bedeutung abzusprechen oder es vom Gebrauche auszuschliessen. Der Schein des Gegentheils entsteht wohl dadurch, dass wir die Wörter vereinzelt betrachten und nach ihrer Bedeutung fragen, für welche wir dann eine Vorstellung nehmen. So scheint ein Wort keinen Inhalt zu haben, für welches uns ein entsprechendes inneres Bild fehlt. Man muss aber immer einen vollständigen Satz ins Auge fassen. Nur in ihm haben die Wörter eigentlich eine Bedeutung. Die innern Bilder, die uns dabei etwa vorschweben, brauchen nicht den logischen Bestandtheilen des Urtheils zu entsprechen. Es genügt, wenn der Satz als Ganzes einen Sinn hat; dadurch erhalten auch seine Theile ihren Inhalt.
Diese Bemerkung scheint mir geeignet, auf manche schwierige Begriffe wie den des Unendlichkleinen[80] ein Licht zu werfen, und ihre Tragweite beschränkt sich wohl nicht auf die Mathematik.
Die Selbständigkeit, die ich für die Zahl in Anspruch nehme, soll nicht bedeuten, dass ein Zahlwort ausser dem Zusammenhange eines Satzes etwas bezeichne, sondern ich will damit nur dessen Gebrauch als Praedicat oder Attribut ausschliessen, wodurch seine Bedeutung etwas verändert wird.
§ 61. Aber, wendet man vielleicht ein, mag auch die Erde eigentlich unvorstellbar sein, so ist sie doch ein äusseres Ding, das einen bestimmten Ort hat; aber wo ist die Zahl 4? sie ist weder ausser uns noch in uns. Das ist in räumlichem Sinne verstanden richtig. Eine Ortsbestimmung der Zahl 4 hat keinen Sinn; aber daraus folgt nur, dass sie kein räumlicher Gegenstand ist, nicht, dass sie überhaupt keiner ist. Nicht jeder Gegenstand ist irgendwo. Auch unsere Vorstellungen[81] sind in diesem Sinne nicht in uns (subcutan). Da sind Ganglienzellen, Blutkörperchen und dergl., aber keine Vorstellungen. Räumliche Praedicate sind auf sie nicht anwendbar: die eine ist weder rechts noch links von der andern; Vorstellungen haben keine in Millimetern angebbaren Entfernungen von einander. Wenn wir sie dennoch in uns nennen, so wollen wir sie damit als subjectiv bezeichnen.
Aber wenn auch das Subjective keinen Ort hat, wie ist es möglich, dass die objective Zahl 4 nirgendwo sei? Nun ich behaupte, dass darin gar kein Widerspruch liegt. Sie ist in der That genau dieselbe für jeden, der sich mit ihr beschäftigt; aber dies hat mit Räumlichkeit nichts zu schaffen. Nicht jeder objective Gegenstand hat einen Ort.
Um den Begriff der Anzahl zu gewinnen, muss man den Sinn einer Zahlengleichung feststellen.
§ 62. Wie soll uns denn eine Zahl gegeben sein, wenn wir keine Vorstellung oder Anschauung von ihr haben können? Nur im Zusammenhange eines Satzes bedeuten die Wörter etwas. Es wird also darauf ankommen, den Sinn eines Satzes zu erklären, in dem ein Zahlwort vorkommt. Das giebt zunächst noch viel der Willkühr anheim. Aber wir haben schon festgestellt, dass unter den Zahlwörtern selbständige Gegenstände zu verstehen sind. Damit ist uns eine Gattung von Sätzen gegeben, die einen Sinn haben müssen, der Sätze, welche ein Wiedererkennen ausdrücken. Wenn uns das Zeichen a einen Gegenstand bezeichnen soll, so müssen wir ein Kennzeichen haben, welches überall entscheidet, ob b dasselbe sei wie a, wenn es auch nicht immer in unserer Macht steht, dies Kennzeichen anzuwenden. In unserm Falle müssen wir den Sinn des Satzes
»die Zahl, welche dem Begriffe F zukommt, ist dieselbe, welche dem Begriffe G zukommt«
erklären; d. h. wir müssen den Inhalt dieses Satzes in anderer Weise wiedergeben, ohne den Ausdruck
»die Anzahl, welche dem Begriffe F zukommt«
zu gebrauchen. Damit geben wir ein allgemeines Kennzeichen für die Gleichheit von Zahlen an. Nachdem wir so ein Mittel erlangt haben, eine bestimmte Zahl zu fassen und als dieselbe wiederzuerkennen, können wir ihr ein Zahlwort zum Eigennamen geben.
§ 63. Ein solches Mittel nennt schon _Hume_[82]: »Wenn zwei Zahlen so combinirt werden, dass die eine immer eine Einheit hat, die jeder Einheit der andern entspricht, so geben wir sie als gleich an.« Es scheint in neuerer Zeit die Meinung unter den Mathematikern[83] vielfach Anklang gefunden zu haben, dass die Gleichheit der Zahlen mittels der eindeutigen Zuordnung definirt werden müsse. Aber es erheben sich zunächst logische Bedenken und Schwierigkeiten, an denen wir nicht ohne Prüfung vorbeigehen dürfen.
Das Verhältniss der Gleichheit kommt nicht nur bei Zahlen vor. Daraus scheint zu folgen, dass es nicht für diesen Fall besonders erklärt werden darf. Man sollte denken, dass der Begriff der Gleichheit schon vorher feststände, und dass dann aus ihm und dem Begriffe der Anzahl sich ergeben müsste, wann Anzahlen einander gleich wären, ohne dass es dazu noch einer besondern Definition bedürfte.
Hiergegen ist zu bemerken, dass für uns der Begriff der Anzahl noch nicht feststeht, sondern erst mittels unserer Erklärung bestimmt werden soll. Unsere Absicht ist, den Inhalt eines Urtheils zu bilden, der sich so als eine Gleichung auffassen lässt, dass jede Seite dieser Gleichung eine Zahl ist. Wir wollen also nicht die Gleichheit eigens für diesen Fall erklären, sondern mittels des schon bekannten Begriffes der Gleichheit, das gewinnen, was als gleich zu betrachten ist. Das scheint freilich eine sehr ungewöhnliche Art der Definition zu sein, welche wohl von den Logikern noch nicht genügend beachtet ist; dass sie aber nicht unerhört ist, mögen einige Beispiele zeigen.
§ 64. Das Urtheil: »die Gerade a ist parallel der Gerade b,« in Zeichen:
a ∥ b,