We’re ok with Euclid’s work up to Book I, Proposition 28.
We’re ok with Euclid’s work up to Book I, Proposition 28.
We’re ok with SMSG Postulates -- number 16 is The Parallel Postulate, we’ll be avoiding it.
Note particularly P15 SAS congruence is quite usable.