>>371
> 無限桁の自然数なんて存在しないよ．

もうここで無限を理解できていない。自然数nを1からカウントアップしていって、n→∞の極限は？

> 実際，任意の自然数nに対してn<2^nが成立するので(n+1)桁目以降は必ず0となる．

つまり、反転すると1になる。01は反転させるという部分、読んでくれてないの？
さらに「無限大桁目より大きい桁目」で考えると、01は決められなくなるのね。

> したがって自然数は有限桁であるという命題が得られた．

前提間違えて、そんなこと言われても。自分で始末つけといてくださいね。

> この命題の対偶をとれば無限桁であれば自然数ではないということはすぐに分かるだろう．

命題と対偶の真偽は一致するけど、肝心の命題を作り間違えてるから。
無限がよく分からないで、あまりあれこれ言わないでね。無限って物凄く気味が悪いものだよ。