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: The set of necessary FISONs
Date: Thu, 20 Feb 2025 11:29:26 +0100
Organization: A noiseless patient Spider
Lines: 15
Message-ID: <vp7066$2pd0f$1@dont-email.me>
References: <vmo1bs$1rnl$1@dont-email.me> <vonjm5$3ghe5$1@dont-email.me>
 <5aefc0d0b454a230e721a8cdb8400cb25ea9a8c1@i2pn2.org>
 <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 20 Feb 2025 11:29:26 +0100 (CET)
Injection-Info: dont-email.me; posting-host="5fd5b46ee2dbc38e71580a8df378aca7";
	logging-data="2929679"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18C7L/mxJBq0zBwNJ6QkpqOHXv0ATz/jeM="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:zdbFenpg23O1zO89L4+ZyZ1HKZM=
Content-Language: en-US
In-Reply-To: <338bfe94c8da12f1a4db1ac8c379166f5f8c5d4f@i2pn2.org>
Bytes: 2420

On 19.02.2025 18:19, joes wrote:
> Am Wed, 19 Feb 2025 18:07:56 +0100 schrieb WM:

>> Proven however is this: UF = ℕ ⟹ Ø = ℕ.
> No. That would mean UF = {}, which you can’t seriously believe.

Learn what an implication is.

> 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. But I know for all 
FISONs |ℕ \ {1, 2, 3, ..., n}| = ℵo.

Regards, WM