Tom,
[Euclid is] "not reasonable to mathematicians." Well, I see this a pity. Galileo and Borel explained why a point is not small but incomparable with anything of finite size. Having parts means being endlessly divisible. A point has a different quality. It has measure zero.
You asked: "how does something that does not have parts exist without parts? Therefore, does a point exist? -- how would one demonstrate that existence?"
Well, singular points do only exist as mathematical fiction, not as something tangible in physics. The mistake begins with the sloppy attribution of the number one to a concrete item.
"Dedekind, Cauchy, Weierstrass ... constructed the answer, rather than letting a philosophical dilemma go unchallenged. Dedekind cuts -- differentiating the least of the most from the most of the least -- demonstrates a definite point on the continuum, something one can point to (pun intended) and say, "that's a point." Cauchy-Weierstrass opened new frontiers in complex analysis where points are analyzed as lines on C."
Well, generalizing ideas by Bolzano (who still wrote The Paradoxes of Infinity) and Cauchy in a questionably simplifying manner, Weierstrass paved the way for getting rid of Euclid's accuracy. Dedekind ignored Galileo although he had to admit having no evidence but he offered an axiom. Zero and infinitum absolutum are strictly speaking incomparable with notions like most of the least and least of the most.
While much of anti-Galilean mathematics is acceptable, not just Buridan's donkey points to exceptions that I consider relevant to physics. Let me remind of the arbitrarily chosen singular point sign(0)=0. One cannot really point to a point.
Best,
Eckard