The present first volume begins with Hilbert's axioms from the \emph{Foundations of Geometry}. After some discussion of logic and axioms in general, incidence geometries, especially the finite ones, and affine and projective geometry in two and three dimensions are treated. As in Hilbert's system, there follow sections about the axioms of order, and congruence in neutral geometry, the axioms of measurement and of completeness, and deviating...