>>111
言い換えよう。
0と1からなる無限長の文字列と自然数の2進整数数表記は一対一対応である。

なら良い。