「有限の長さの文字列全て」の中に無限長の文字列は含まれるの?