Euclidean spaces
The authors give a system of three axioms which concern a set of points and a congruence relation on the set of pairs of points. ``The aim is to establish a 3-dimensional metric vector space over a field of characteristic \(\neq 2\), whose bilinear form provides an algebraic description of the congruence relation''.
scientific article; zbMATH DE number 1000356