自然数を2進数で表したものの集合は可算である。
自然数を2進数で表すと、0と1からなる無限長の文字列になる。
逆に 0と1からなる無限長の文字列を2進数と考えると、自然数である。
よって 0と1からなる無限長の文字列の集合は可算である。