Axioms for arithmetic. (Q563078)

Verf. gibt ein Axiomensystem für die Arithmetik, das nur die Relation ``kleiner als'' zugrunde legt. Die Vollständigkeit ergibt sich daraus, daß sich das von \textit{L. Neder }(1931; JFM 57.0103.*) aufgestellte System als Konsequenz des vorliegenden erweist. Die Unabhängigkeit der einzelnen Axiome wird bewiesen. (I 2.)