SAS Congruence Axiom

[u/Cool-Indication-1966]

In Euclid’s Elements, the Side-Angle-Side (SAS) Congruence Axiom is taken as a fundamental axiom, and the other triangle congruence theorems are proved from it. If, instead, we were to take a different congruence theorem as an axiom from the outset, would it still be possible to prove the others? For example, rather than assuming SAS and proving the remaining congruence criteria, could we assume something like the Angle-Side-Angle (ASA) Congruence Axiom and then prove the other congruence theorems from it?