Но ведь так можно сказать о каждом из уже пронумерованных чисел относительно предыдущих.
И в чем проблема? Каждое

-е число отличается от предыдущих, ну и хорошо. А новое построенное отличается от
всех пронумерованных.
Почему же это не противоречит бесконечности натуральных чисел?
А почему должно? Натуральных чисел бесконечно, действительных тоже бесконечно, но это же не обязательно говорит что-то о том, как эти два бесконечных множества между собой соотносятся.
И получается, что "бесконечность бывает разной степени бесконечности".
Именно так.