 This set is the union of the length-1 sequences, the length-2 sequences, the length-3 sequences, each of which is a countable set (finite Cartesian product).So we are talking about a countable union of countable sets, which is countable by the previous theorem.Theorem