閉区間[0,1]で無限小数を2進法で表記し、
小数点以下何桁目に1が出てくるかで、自然数の部分集合と対応させる。
これで[0,1]の実数の集合が自然数全体の冪集合だと分かる。
シンプルな証明で、もっと一般向けの本に載せてほしいと思った。