[quietbritishjim]

I think the missing piece is just note that, for actual proof applications, the length of the individual "strings" and the total number of them is both (countable) infinity, so the size does match.

[thaumasiotes]

It's not necessary that they match. All you need is that the length of each string is not less than its position in the list.