Complete sets of postulates for the theory of real quantities. (Q1504819)

Der Verf. stellt zwei Systeme von Postulaten auf, deren jedes als Grundlage der gewöhnlichen Algebra der reellen Größen dienen kann. In jedem Systeme kommt der Mengenbegriff, eine Relation und eine Kombination oder Operation vor; die Relation ist den beiden Systemen gemeinsam und gehorcht denselben formalen Gesetzen wie die Relation \(<\); die Operationen gehorchen denselben formalen Gesetzen wie die Operation +, bezw. \(\times\). Für jedes System wird nachgewiesen, daß die Postulate widerspruchlos und unabhängig sind, und daß sie hinreichen, um eine einzige Menge zu definieren; es werden ferner einige Folgerungen derselben entwickelt.