Here find my discussion of Propositions 1 and 2 and some refinements and additions to Euclid's axioms.

Here is Saccheri.

Here find a collection of basic axioms for geometry. These should be similar in strength to Hilbert's axioms, but using "ray" as a primitive notion rather than "betweenness".