§ 3. Mich haben auch philosophische Beweggründe zu solchen Untersuchungen bestimmt. Die Fragen nach der apriorischen oder aposteriorischen, der synthetischen oder analytischen Natur der arithmetischen Wahrheiten harren hier ihrer Beantwortung. Denn, wenn auch diese Begriffe selbst der Philosophie angehören, so glaube ich doch, dass die Entscheidung nicht ohne Beihilfe der Mathematik erfolgen kann. Freilich hangt dies von dem Sinne ab, den man jenen Fragen beilegt.
Es ist kein seltener Fall, dass man zuerst den Inhalt eines Satzes gewinnt und dann auf einem andern beschwerlicheren Wege den strengen Beweis führt, durch den man oft auch die Bedingungen der Giltigkeit genauer kennen lernt. So hat man allgemein die Frage, wie wir zu dem Inhalte eines Urtheils kommen, von der zu trennen, woher wir die Berechtigung für unsere Behauptung nehmen.
Jene Unterscheidungen von apriori und aposteriori, synthetisch und analytisch betreffen nun nach meiner[5] Auffassung nicht den Inhalt des Urtheils, sondern die Berechtigung zur Urtheilsfällung. Da, wo diese fehlt, fällt auch die Möglichkeit jener Eintheilung weg. Ein Irrthum apriori ist dann ein ebensolches Unding wie etwa ein blauer Begriff. Wenn man einen Satz in meinem Sinne aposteriori oder analytisch nennt, so urtheilt man nicht über die psychologischen, physiologischen und physikalischen Verhältnisse, die es möglich gemacht haben, den Inhalt des Satzes im Bewusstsein zu bilden, auch nicht darüber, wie ein Anderer vielleicht irrthümlicherweise dazu gekommen ist, ihn für wahr zu halten, sondern darüber, worauf im tiefsten Grunde die Berechtigung des Fürwahrhaltens beruht.
Dadurch wird die Frage dem Gebiete der Psychologie entrückt und dem der Mathematik zugewiesen, wenn es sich um eine mathematische Wahrheit handelt. Es kommt nun darauf an, den Beweis zu finden und ihn bis auf die Urwahrheiten zurückzuverfolgen. Stösst man auf diesem Wege nur auf die allgemeinen logischen Gesetze und auf Definitionen, so hat man eine analytische Wahrheit, wobei vorausgesetzt wird, dass auch die Sätze mit in Betracht gezogen werden, auf denen etwa die Zulässigkeit einer Definition beruht. Wenn es aber nicht möglich ist, den Beweis zu führen, ohne Wahrheiten zu benutzen, welche nicht allgemein logischer Natur sind, sondern sich auf ein besonderes Wissensgebiet beziehen, so ist der Satz ein synthetischer. Damit eine Wahrheit aposteriori sei, wird verlangt, dass ihr Beweis nicht ohne Berufung auf Thatsachen auskomme; d. h. auf unbeweisbare Wahrheiten ohne Allgemeinheit, die Aussagen von bestimmten Gegenständen enthalten. Ist es dagegen möglich, den Beweis ganz aus allgemeinen Gesetzen zu führen, die selber eines Beweises weder fähig noch bedürftig sind, so ist die Wahrheit apriori.[6]
§ 4. Von diesen philosophischen Fragen ausgehend kommen wir zu derselben Forderung, welche unabhängig davon auf dem Gebiete der Mathematik selbst erwachsen ist: die Grundsätze der Arithmetik, wenn irgend möglich, mit grösster Strenge zu beweisen; denn nur wenn aufs sorgfältigste jede Lücke in der Schlusskette vermieden wird, kann man mit Sicherheit sagen, auf welche Urwahrheiten sich der Beweis stützt; und nur wenn man diese kennt, wird man jene Fragen beantworten können.
Wenn man nun dieser Forderung nachzukommen versucht, so gelangt man sehr bald zu Sätzen, deren Beweis solange unmöglich ist, als es nicht gelingt, darin vorkommende Begriffe in einfachere aufzulösen oder auf Allgemeineres zurückzuführen. Hier ist es nun vor allen die Anzahl, welche definirt oder als undefinirbar anerkannt werden muss. Das soll die Aufgabe dieses Buches sein.[7] Von ihrer Lösung wird die Entscheidung über die Natur der arithmetischen Gesetze abhangen.
Bevor ich diese Fragen selbst angreife, will ich Einiges vorausschicken, was Fingerzeige für ihre Beantwortung geben kann. Wenn sich nämlich von andern Gesichtspunkten aus Gründe dafür ergeben, dass die Grundsätze der Arithmetik analytisch sind, so sprechen diese auch für deren Beweisbarkeit und für die Definirbarkeit des Begriffes der Anzahl. Die entgegengesetzte Wirkung werden die Gründe für die Aposteriorität dieser Wahrheiten haben. Deshalb mögen diese Streitpunkte zunächst einer vorläufigen Beleuchtung unterworfen werden.