>>16
nは有限ではないです。それは解ります。
nの1の位は0ではないでしょうか。

>>17
数学の深みを感じます。
>>1の主張は、2^NをNで数えられるということではないでしょうか。

>>18
自然数の列は無限大に到達することもないと思います。
だから、「数える」ということによって、数の性質を表現するのだと考えています。