無限長の文字列があったら「有限の長さの文字列全て」じゃないやん