[griffzhowl]

I agree in general but

> Euclid's Elements is 2300 years old and is presented in a completely abstract way.

depends on what you mean by completely abstract. Euclid relies in a logically essential way on the diagrams. Even the first theorem doesn't follow from the postulates as explicitly stated, but relies on the diagram for us to conclude that two circles sharing a radius intersect.

This is a thought-provoking paper on the issue by Viktor Blasjo, Operationalism: An Interpretation of the Philosophy of Ancient Greek Geometry https://link.springer.com/article/10.1007/s10699-021-09791-4

which was recently the subject of a guest video on 3blue1brown https://www.youtube.com/watch?v=M-MgQC6z3VU