Axiom talk:Symmetry of Equidistance

From ProofWiki
Jump to navigation Jump to search

Despite the fact that Tarski and Givant refer to this axiom using the word "Reflexivity", that to me is clearly a mistake - "Symmetry" ought to have been used.

Do we propagate this mistake, or rename it as it is supposed to be: "Symmetry"? That is, are we documenting history or mathematics? What does anyone else think?

My view is that we call this page "Axiom:Symmetry of Equidistance" and refer in it (as I have done) that it was misnamed in the original document. --prime mover 06:38, 29 January 2012 (EST)

I think it would be a good idea to rename it and keep the current title as a redirect. --GFauxPas 06:44, 29 January 2012 (EST)