Sitzungsberichte der
Heidelberger Akademie der Wissenschaften

Axiome der Arithmetik.

11

bzw. Verneinung gewisser Axiome herbeigeführt werden könnten,
wie es soeben für die Erweiterung der natürlichen zur voll-
ständigen Zahlenreihe geschehen ist. Man erhielte dann bei dem
nächsten Schritt ein System von Axiomen, welche den Begriff der
rationalen Zahl definieren würden, während eine letzte Weg-
lassung den allgemeinen Begriff der reellen Zahl hervorgehen
lassen und also ein dem HiLBERT'schen äquivalentes Axiomen-
system liefern müßte.