A set of postulates for arithmetic and algebra. (Q1475909)

``In der folgenden Abhandlung beabsichtige ich, ein System von Postulaten für die Arithmetik und die Algebra vorzulegen, das nach meiner Meinung die Vorteile der sogenannten ``genetischen'' und der ``axiomatischen'' Methode für Grundlegungen in der Mathematik vereinigt. Dieses System ist aus Unterhaltungen mit \textit{Zermelo} entstanden; es ist unsere Absicht, unsere Ergebnisse in größerer Ausführlichkeit baldigst zu veröffentlichen. Jetzt werde ich mich darauf beschränken, die Hauptpunkte anzudeuten. Wir beginnen mit einem System von Postulaten, das den allgemeinsten Körper definiert, für den das kommutative Gesetz der Multiplikation nicht zu gelten braucht. Ein solcher Körper wird hinfort einfach ``nichtkommutativ'' genannt. Durch die Hinzunahme eines Postulats erhalten wir ein zweites System von Postulaten, das den allgemeinsten nichtkommutativen Körper definiert, der als einen Unterkörper den Körper der rationalen Zahlen enthält. Durch die weitere Hinzunahme eines Postulats erhalten wir ein drittes System, das den allgemeinsten nichtkommutativen Körper definiert, der als einen Unterkörper den Körper der reellen Zahlen enthält. Schließlich bekommen wir durch die Hinzunahme eines Postulats zu diesem dritten System ein viertes System von Postulaten, das den allgemeinsten nichtkommutativen Körper definiert, der als einen Unterkörper den Körper der gewöhnlichen komplexen Zahlen enthält.''