An Axiomatic Approach to Geometry [electronic resource] : Geometric Trilogy I