Axiom talk:Tarski's Axioms

I specifically made the display of the link to Axiom 1 say "Reflexivity" as that was what it said in the actual document to which this is linked. When you actually get to the page itself, that's when you see what it's called in ProofWiki. Thought it was important to provide a more explicit link between the work on ProofWiki and that in the source document. Comment? --prime mover 07:58, 30 January 2012 (EST)
 * I'd say it wouldn't be important if the source were a secondary source. But since the work is a primary source I have no idea what the right decision is. HTH --GFauxPas 08:00, 30 January 2012 (EST)
 * I decided that I think it is important to keep the original name, as sources are so hard to find for this that the .pdf might be the only source that most readers have available. --GFauxPas 07:50, 5 February 2012 (EST)