[dorgo]

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

[canjobear]

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

[dorgo]

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