Perhaps so. I trimmed down the parts where I referenced Euclid in a similar vein to “conclusions … inevitable if you … accept other axioms.” I was thinking though of this Veritasium video outlining the development of non-Euclidean geometries:

https://youtu.be/lFlu60qs7_4?si=vd1s7vPmV-drPSfP