Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: WM <wolfgang.mueckenheim@tha.de>
Newsgroups: sci.math
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (extra-ordinary)
Date: Sun, 5 Jan 2025 11:37:12 +0100
Organization: A noiseless patient Spider
Lines: 20
Message-ID: <vldncm$vlah$4@dont-email.me>
References: <vg7cp8$9jka$1@dont-email.me> <vk7dmb$7mh2$2@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>
 <53806d5c-f456-4c13-8506-24c0b9ab310e@att.net> <vlas93$cr0l$1@dont-email.me>
 <545edcf1a7ba488b6324128c9e9ec2bc8be18677@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 05 Jan 2025 11:37:11 +0100 (CET)
Injection-Info: dont-email.me; posting-host="cfe6170884cd9660d3ba2d6ea153e630";
	logging-data="1037649"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Qo/HSCDc0q59EkyNbOtjqTWnMaiVp64A="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:bzvTl0nMP6q2R91BRAimoZf8ypk=
Content-Language: en-US
In-Reply-To: <545edcf1a7ba488b6324128c9e9ec2bc8be18677@i2pn2.org>
Bytes: 2623

On 04.01.2025 14:17, Richard Damon wrote:
> On 1/4/25 3:42 AM, WM wrote:
>>
>>> On 1/3/2025 2:48 PM, WM wrote:
>>>> On 03.01.2025 19:46, Jim Burns wrote:
>>>
>>> All finite.ordinals removed from
>>> the set of each and only finite.ordinals
>>> leaves the empty set.
>>
>> But removing every ordinal that you can define (and all its 
>> predecessors) from ℕ leaves almost all ordinals in ℕ.∀n ∈ ℕ_def: |ℕ \ 
>> {1, 2, 3, ..., n}| = ℵo
>>
> And what keep you from "defining" the rest of the Natural Numbers.

Try it yourself. Then you will see it.

Regards, WM