Path: ...!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Sat, 22 Feb 2025 13:23:01 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <0fc2d595a7f635fb2168c0b696c6a6693e481600@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me> <vonqus$3hu2d$1@dont-email.me>
	<f220383b9803059a387c34e198906c7729101311@i2pn2.org>
	<vopv2h$s46$2@dont-email.me>
	<340761ab1ceb68741d949331a0c64a3d6d5fa237@i2pn2.org>
	<vosf9f$hjfh$4@dont-email.me>
	<e65f39b64ea4a5bb0fd1b8d214fbf99c4a5a0b23@i2pn2.org>
	<vot6hr$lfa0$3@dont-email.me>
	<5fccdbd91a997aadcfde3843cdc09e3fe7f515cf@i2pn2.org>
	<vp02ic$188u3$1@dont-email.me>
	<ffff63c4-18ef-4093-a262-88a6ffe2bac1@att.net>
	<vp1hra$1k723$1@dont-email.me>
	<a5c5c24b1e2ea68295fd8888cb213365d2fba9bf@i2pn2.org>
	<vp28cs$1o28v$3@dont-email.me>
	<453a56f5a2e8545cd171150970864c62ecff7442@i2pn2.org>
	<vp299s$1o28v$5@dont-email.me>
	<1c8c4e43283da583e55f14e9b54c0d8f07864c88@i2pn2.org>
	<vp4pr4$fdmd$1@solani.org>
	<8546e6fc960a636cd84bbd71dd0eaecae1af9a16@i2pn2.org>
	<71701ee4-7e04-4c1a-b4a5-6a7f4162d6bc@no.org>
	<338bfe94c8da12f1a4db1ac8c379166f5f8c5d4f@i2pn2.org>
	<vp7066$2pd0f$1@dont-email.me>
	<a3db27c08fbbabd8dcd400f94a8aaf35181d45ea@i2pn2.org>
	<vpcbam$3tpq0$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Feb 2025 13:23:01 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1234464"; 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: 2616
Lines: 17

Am Sat, 22 Feb 2025 12:10:12 +0100 schrieb WM:
> On 22.02.2025 11:45, joes wrote:
>> Am Thu, 20 Feb 2025 11:29:26 +0100 schrieb WM:
>>> On 19.02.2025 18:19, joes wrote:
> 
>>>> If you think UF = X != N, then you need to accept U{} = X.
>>> No. I don't know the relation between a FISON and X.
>> X is clearly an inductive set, like N.
> If X is defined as the true UF (I had overlooked that), then we cannot
> apply |X \ {1, 2, 3, ..., n}| = ℵo and then U{} = X does not follow.
Why can you not induce over an inductive set?

> X is a FISON like every finite union of FISONs.
No, X is an obviously infinite union.

-- 
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.