Yup. and the whole axiom/proof system is BASED upon geometric proofs upon which everything at least up to Set Theory rests upon.
Pragmatic stuff not denying it. But for everything? Nah.
I hated proofs in geometry. But my 9th grade nephew’s loving it. Why? He figured out how to treat geometry proofs like Algebra, which had my laughing at how well it works.
I was stupid and was using BASIC programming for my metaphors which worked great for EVERYTHING in math EXCEPT for proofs. In retrospect, I was missing the obvious and making it too hard for myself.