>さて、対角線論法において、2進展開(0と1)で 上記の通り 横に展開する列の長さが有限ならば
いや、有限なら有理数だからｗ