Re: Does the number of nines increase?

Le 05/07/2024 à 19:09, Jim Burns a écrit :

On 7/5/2024 3:53 AM, WM wrote:

But uncountability could only be established by completed infinite sequences, not by finite formulas.

Uncountability has been established for {y:N₁→10:¬∃0…}
It has been, historically.
It has been, here, for you (WM).
It could be established again, for you,

It is impossible to completely write an infinite digit sequence.
An infinite digit sequence cannot be determined by writing all its terms.
An infinite digit sequence can only be determined by a finite expression.
There are only countably many finite expression.
Regards, WM