This argument is valid for every infinite set, for example: the natural numbers.

No, you can establish a bijection between strings and natural numbers, very easily.

I missunderstood "finite-length strings" as strings capped in length by a finite number N.