Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: sci.math
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (extra-ordinary)
Date: Sun, 5 Jan 2025 14:20:30 -0800
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <vlf0jf$17khf$7@dont-email.me>
References: <vg7cp8$9jka$1@dont-email.me>
 <b72490c1-e61a-4c23-a3a5-f624b2c084e4@att.net> <vk8tbq$j9h1$1@dont-email.me>
 <bd7dfdc7-6471-4fe6-b078-0ca739031580@att.net> <vklumc$3htmt$1@dont-email.me>
 <c03cf79d-0572-4b19-ad92-a0d12df53db9@att.net> <vkp0fv$b7ki$2@dont-email.me>
 <b125beff-cb76-4e5a-b8b8-e4c57ff468e9@att.net> <vkr8j0$t59a$1@dont-email.me>
 <98519289-0542-40ce-886e-b50b401ef8cf@att.net> <vksicn$16oaq$7@dont-email.me>
 <8e95dfce-05e7-4d31-b8f0-43bede36dc9b@att.net> <vl1ckt$2b4hr$1@dont-email.me>
 <53d93728-3442-4198-be92-5c9abe8a0a72@att.net> <vl5tds$39tut$1@dont-email.me>
 <9c18a839-9ab4-4778-84f2-481c77444254@att.net> <vl87n4$3qnct$1@dont-email.me>
 <6db7afa9-f1e1-4d2b-beba-a5fc7a8b8686@att.net> <vl952v$3vk28$1@dont-email.me>
 <e97ca358-cc9c-4f6f-a93b-3459821fc4aa@att.net> <vl9ev9$1u2d$1@dont-email.me>
 <bde626a3aade47fe039545590ee6319ebc21a8dd@i2pn2.org>
 <vlaqqb$cfb1$1@dont-email.me>
 <38ef6c64fdd8c00427f6902b3560c158467c6505@i2pn2.org>
 <vldpcd$vlah$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 05 Jan 2025 23:20:31 +0100 (CET)
Injection-Info: dont-email.me; posting-host="0a9b3b8b2325ec9f2ae161f5c632ce0f";
	logging-data="1298991"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19vxSUeWj7CRmENvXVuhPiVcTukwbrcBmo="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:o3uVpz+qhqMH4Tlri0lDuUbKWvo=
Content-Language: en-US
In-Reply-To: <vldpcd$vlah$6@dont-email.me>
Bytes: 2799

On 1/5/2025 3:11 AM, WM wrote:
> On 04.01.2025 17:21, joes wrote:
>> Am Sat, 04 Jan 2025 09:17:16 +0100 schrieb WM:
>>> On 03.01.2025 21:29, joes wrote:
>>>> Am Fri, 03 Jan 2025 20:48:57 +0100 schrieb WM:
>>>
>>>>> But removing every ordinal that you can define (and all its
>>>>> predecessors) from ℕ leaves almost all ordinals in ℕ.
>>>> No, N is exactly the set of those numbers.
>>> ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo contradicts your opinion.
>> Where is the contradiction?
> 
> You say that every natural number has ℵo successors. That is wrong 
> because ℕ \ {1, 2, 3, ...} = { }. Only every definable number has ℵo 
> successors.

Define this:

Why does a definition of you seem to wander off into kookville?