「最大の自然数が存在しない」という前提から
「0以上1未満の実数から
　小数展開で表したときの小数点以下の
　9の連続の個数への写像で
　写像の値域に入らない自然数が存在する」
は導けない