supporting intuition in axiomatic approaches to geometry, the book develops systematic