Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: sci.math
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (extra-ordinary)
Date: Mon, 27 Jan 2025 17:57:40 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <aa6eaa1e4bce170ebce734262f3191ba6704b73a@i2pn2.org>
References: <vg7cp8$9jka$1@dont-email.me> <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>
	<vn4s4f$3ijdb$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 27 Jan 2025 17:57:40 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1416981"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2569
Lines: 16

Am Sun, 26 Jan 2025 09:35:27 +0100 schrieb WM:
> 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}.
Mais non, there are Aleph_0 FISONs!

> Note the universal quantifier in ∀n ∈ UF(n): |ℕ \ {1, 2, 3, ..., n}| =
> ℵo
Yeah, what about it? It’s not inside the set to be subtracted.

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.