In the summer I will be teaching a course in (plane) Euclidean geometry to future high school teachers and I am looking for a suitable axiom system (unlike College (Euclidean) geometry textbook recommendations where books are discussed). Since the students should do a lot of ruler-and-compass constructions, I would like the axiom system to makeRead more