Ein Axiomensystem für den Anschauungsraum. (An axiom system for the Euclidean space)

zbMath0624.51011MaRDI QIDQ578586

Eberhard M. Schroeder

Publication date: 1986

Published in: Mathematische Semesterberichte (Search for Journal in Brave)

zbMATH Keywords

independence; axiom system; ``complete Euclidean space of dimension three

Mathematics Subject Classification ID

51F10: Absolute spaces in metric geometry

51M05: Euclidean geometries (general) and generalizations

51N99: Analytic and descriptive geometry

Related Items

Computer-assisted existence proofs for two-point boundary value problems