Proposizioni primitive indipendenti. (Q2624479)

Der Verf. gibt ein Axiomensystem für ``absolute kontinuierliche Größen'' an, das aus sieben Axiomen besteht und die Addition als einzige Grundoperation enthält. Das fünfte dieser Axiome faßt dasa kommutative und assoziative Gesetz der Addition zusammen. Die Unabhängigkeit dieses Axioms als Ganzes von den übrigen Axiomen wird gezeigt; jedoch hat sich nach Ansicht des Verf. für das assoziative oder auch für das kommutative Gesetz allein die Unabhängigkeit von den übrigen Postulaten bisher nicht nachweisen lassen (vgl. jedoch nachstehendes Referat).