有限個の記号列で表現不可能な数列が存在することが、
対角線論法で容易に示せるのだが、
その辺りはどう扱うのかな？