Talk:0.999.../Proof by equality of Dedekind cuts

Hi there. I edited this page to be a slightly more complete proof, but the definitions in my proof are presumably what will be used in the "assumptions" pages... 0.999.../Definition from Dedekind cuts Keep this in mind as once that definition page exists one of the two will need to be edited to keep the definitions compatible. Sincerely DavidReads (discuss • contribs) 09:39, 28 August 2015 (UTC)