Ueber das Axiom des Archimedes. (Q1532256)

Herr Stolz (Zur Geometrie der Alten, insbesondere über das Axiom des Archimedes, Math. Ann. XXII. 504-520; F. d. M. XV. 1883. 22, JFM 15.0022.02) hat bewiesen, dass in jedem stetigen Grössensysteme das Archimedische Axiom erfüllt ist. Herr Veronese (Il continuo retilineo e l'assioma V d'Archimede, Rom. Acc. L. Mem. (4) VI. 603-624; F. d. M. XXII. 1890. 541, JFM 22.0541.01) hat dagegen eingewandt, dass man stetige Systeme bilden kann, welche dem Archimedischen Axiom nicht gehorchen, und dass dieses in dem von Hrn. Stolz betrachteten Systeme nur darum nicht geschieht, weil die Annahmen, auf welchen nach ihm die Stetigkeit beruht, das Archimedische Axiom in sich umfassen. Herr Stolz erkennt die Richtigkeit des Einwandes an, indem er beweist, dass eine der von ihm zu Grunde gelegten Annahmen mit dem Archimedischen Axiom gleichbedeutend ist. Es ist dies die folgende: Findet in dem betrachteten Systeme eine Lücke \((P_1,P_2)\) statt, so kann man zu jeder gegebenen Grösse \(D\) des Systems zwei Grössen \(P_1,P_2\) derart bestimmen, dass \(P_2-P_1<D\) ist.