6
$\begingroup$

Are there books or article that develop (or sketch the main points) of Euclidean geometry without fudging the hard parts such as angle measure, but might at times use coordinates, calculus or other means so as to maintain rigor or avoid the detail involved in Hilbert-type axiomatizations?

I am aware of Hilbert's foundations and the book by Moise. I was wondering if there is anything more modern that tries to stay (mostly) in the tradition of synthetic geometry.

3 Answers 3

3

You might look at Hartshorne's Geometry: Euclid and Beyond.

1

Try A Set of Postulates for Plane Geometry by Birkhoff.

1

There are some axioms systems such as Birkoff axioms which assume the existence of a field from the beginning.

For the synthetic approach the main axiom systems are those of Hilbert and Tarski.

You can also use Tarski's axiom as described in W. Schwabhäuser, W Szmielew, A. Tarski, Metamathematische Methoden in der Geometrie.