Always. Robin Hartshorne's "Geometry: Euclid and Beyond" is the best book of its kind. It does Euclidean geometry with Hilbert's axioms and cleans up some of the loose ends of Euclid's classical treatment. Hartshorns book also covered the 5th postulate very thoroughly and non-Euclidean geometry. Hyperbolic geometry is treated axiomatically. He also has a nice treatment of axiomatic projective geometry which you can download for free. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.475...