the proofs that I've read shows that the list of infinite binary strings between [0,1] are uncountable because the invert of the diagonal of the list is not on the list, do you know any proof that does not refer to the invert of the diagonal?