Definition talk:Complete Metric Space

I'm staring at the refactor template and wondering why this definition page is supposed to be refactored differently from all other definition pages. Why not just make definition 1, definition 2, etc.? Nested Sphere Theorem is getting close to becoming a large part of the equivalence proof, which apparently has never actually been posted. --Dfeuer (talk) 07:13, 28 January 2013 (UTC)


 * If you can't work out what to do, pass on it and work on something you *do* know how to do. --prime mover (talk) 07:28, 28 January 2013 (UTC)


 * What? I'm not saying "I don't know how to do what this says", I'm saying "Why does this say to do something different from how the entire rest of the site operates?" --Dfeuer (talk) 07:35, 28 January 2013 (UTC)


 * What I said was: Please leave well alone if it's not clear to you what needs to be done. --prime mover (talk) 08:55, 28 January 2013 (UTC)

To put matters at rest, an inspection of the history will almost surely show that it grew so hysterically (i.e. the refactor predates the multiple def paradigm). --Lord_Farin (talk) 09:57, 28 January 2013 (UTC)


 * The equivalence proof might require the axiom of countable choice; unless this is determined not to be the case, I don't think it would be a good idea to use one definition as definition $1$ and the other as definition $2$. --abcxyz (talk) 16:37, 28 January 2013 (UTC)