言い換えよう。

0と1からなる無限長の文字列と自然数の2進数表記は一対一対応である。