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, 26 Jan 2025 09:35:27 +0100
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <vn4s4f$3ijdb$1@dont-email.me>
References: <vg7cp8$9jka$1@dont-email.me>
 <d6ed4797-65e8-4004-853c-f07a37af0c11@att.net> <vls4j6$7v2k$3@dont-email.me>
 <494bfd3b-3c70-4d8d-9c70-ce917c15fc22@att.net> <vm0okb$16cq0$2@dont-email.me>
 <bff18686-503a-4b7b-9406-b47796f68b47@att.net> <vm15pj$18v7t$1@dont-email.me>
 <72142d82-0d71-460a-a1be-cadadf78c048@att.net> <vm3hrs$1s9ld$2@dont-email.me>
 <812e64b1-c85c-48ac-a58c-e8955bc02f8c@att.net> <vm59g4$2b5ib$1@dont-email.me>
 <22b74adc-bf38-4aa4-a44f-622f0a2a5c41@att.net> <vm8u36$31v8s$5@dont-email.me>
 <77a1069f5c5b8f95927ed9a33ecc6374c9d0a2dd@i2pn2.org>
 <vmb821$3i6nm$1@dont-email.me>
 <da8e83072697acf06f9ca2b2946d7b9ccfcbcaac@i2pn2.org>
 <20e517f6-d709-46fd-83f8-04c6b4fe9f59@tha.de>
 <4679319ea238a03fb042ae0c4de078c1a310c8a5@i2pn2.org>
 <vmejlt$845r$1@dont-email.me>
 <21586c471d7da511d9a2bc75fb13ee29f30e4e66@i2pn2.org>
 <vmil8m$252qj$2@dont-email.me>
 <4db90e7b18a6b0eb12e2a52440b72981cfe5bd7e@i2pn2.org>
 <vn2h29$2o9rj$1@dont-email.me>
 <3fb45d17296a2480803d9ae57605b57028f7f697@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 26 Jan 2025 09:35:27 +0100 (CET)
Injection-Info: dont-email.me; posting-host="f29b607f7791c09fbf29348f2e168486";
	logging-data="3755435"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18afeyIvHCKlpicetSHHU+WqWut29+4t78="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Wy/eUESKyY7XcxaBBa6Uk13LoCg=
Content-Language: en-US
In-Reply-To: <3fb45d17296a2480803d9ae57605b57028f7f697@i2pn2.org>
Bytes: 2462

On 25.01.2025 14:09, joes wrote:
> Am Sat, 25 Jan 2025 12:14:18 +0100 schrieb WM:

>> ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.
>> To have infinitely many would require to use also the ℵo successors.
> Why don't you use them?
> 
They are outside of FISONs F(n) = {1, 2, 3, ..., n}.
Note the universal quantifier in
∀n ∈ UF(n): |ℕ \ {1, 2, 3, ..., n}| = ℵo

Regards, WM