Post #2945253

@piegames@flausch.social @sandyarmstrong@hachyderm.io "Construct me a real number x with 0.(9) < x < 1" - you know that for x=0 then you've just stated that 0.(9)<1 right?? 😂 Welcome to one of the proofs on that page which contradicts their conclusion "Remember: density of <= on the real numbers implies that for any number x and y with x /= y there exists a number z with x < z < y" - Remember: that definition doesn't apply to Reals, it was there on one of the linked Wiki pages (which they linked to but didn't read)