User blog comment:Rgetar/Transfinite decimal fractions/@comment-36718579-20190417170035

All fractions either terminating, like 3/5, or a transfinite decimal (transdecimal so I don't have to type as much), like 1/3 (i think)

Example:

5/17 = 5*1/17 (if 1/17 is transdecimal, so is n/17 if n mod 17 isn't 0)

Assume 1/17 is not transdecimal

1/17 = 0.05882352941176470588235294117647 ...000...

17/17 = 0.99999999999999999999999999999999...000...

1 = 0.999...000...

already shown above to be false

1/17 is transdecimal