>>16811935
So you admit that the diagonal argument doesn't show that R is uncountable, it just shows that you can't write down the bijection in your particular proof system, like I already said in my OP several days ago and which you only realized now.