> there are uncountably many finite collections of symbols Only if there are uncountably many symbols. But this is a fair point. I'll need to define what I m

> there are uncountably many finite collections of symbols Only if there are uncountably many symbols. But this is a fair point. I'll need to define what I mean by "symbol" more clearly.