Re: how

Le 10/06/2024 à 19:43, Jim Burns a écrit :

On 6/10/2024 9:33 AM, WM wrote:

Le 08/06/2024 à 20:16, Jim Burns a écrit :

On 6/8/2024 8:42 AM, WM wrote:

 

If j ∈ Defble then j^j^j ∈ Defble.
Nevertheless j^j^j^j^j is finite, but
there are ℵo undefinable natural numbers.

>
No.

>
Then define natural numbers with
less or no undefinable successors.

 Proposal 1.

define natural numbers with less or no undefinable successors.
Such numbers exist because ℕ \ {1, 2, 3, ...} does not leave successors.

j is only collectively.
Proof:
You can replace it by every individual like 4711 or 10​^10​^10000.

 Whatever we learn
by finite only not.first.false claim.sequence about j
we learn about 4711 and 10​^10​^10000.

and many other numbers which have almost allnumbers as successors.
Regards, WM