0.00...1?

No.12427360 ViewReplyOriginalReport
Ok, now that we finally know that 0.999...=1 as how the reals are built and defined, could we have a number set that allows for 0.000...1 and therefore for 0.999...=/=1?