an axiom is philosophically a self-evident truth, but logically just an assumption.

before Euclid, everything might've been proven by the Pythagorean theorem.

Euclid proved triangle sum by exterior angle, proven by alternate angle, proven by the parallel postulate, iirc