I was reading Euclids book and it is really good.

He starts with plane geometry and then he does solid geometry and after that I want to read some other peoples books about hyperspace geometry but plane geometry is 2 dimensional so that means he skipped 1 dimensional geometry. Is there a book which has axioms for geometry on a line?

Also I do not get proposition 4 and 8 because they use superposition but should that not be an axiom? Because superposition is just placing the triangles on each other and then seeing that they are the same but then you would have to measure them and both measuring and the triangles in real space would be imperfect and leading to errors because Euclidian space is more precise than anything that is earthy and mechanical.