Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Moebius <invalid@example.invalid>
Newsgroups: sci.math
Subject: Re: how
Date: Mon, 10 Jun 2024 16:03:32 +0200
Organization: A noiseless patient Spider
Lines: 15
Message-ID: <v4713k$g0a5$3@dont-email.me>
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp>
 <4f78b5b4-9a08-408f-8732-9b5a622cb559@att.net>
 <1OhEiVGoZeYKAlHf40u0M-DGu74@jntp>
 <65e48016-ecea-4832-bcdb-a5e3d94a66cd@att.net>
 <52y9XpKJ6QVz6e8s5Hvt4WK1nmE@jntp>
 <04ac4aa5-f508-40e1-b14f-0fa9883ac4c0@att.net>
 <-YYjghxYEV4-kYQzyEEkdPOmx9g@jntp>
 <d8638801-fa89-4764-ab60-90c690a4dc53@att.net>
 <cAb6HQm9T104zE20oIGGcWLO1Hk@jntp>
 <b6b4d308-15de-40e6-9311-d71ae43a32c3@att.net>
 <NkFdsZiuc0HCFWRQJdPwxCteLT0@jntp>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 10 Jun 2024 16:03:33 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="dee26c3739d901eea4106eae81a2e4df";
	logging-data="524613"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ZmqvElkce2ZeiY8W38BEq"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:LBpYTBf530UcZmImE8LbA+Msno8=
In-Reply-To: <NkFdsZiuc0HCFWRQJdPwxCteLT0@jntp>
Content-Language: de-DE
Bytes: 1987

Am 10.06.2024 um 15:33 schrieb WM:
> 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 [...] no undefinable successors.

0 is the smallest natural number with no undefinable successors (after 
all, all of its ℵo "successors" are "definable", since all natural 
numbers are "definable").