Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!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: Tue, 18 Feb 2025 16:34:20 +0100
Organization: A noiseless patient Spider
Lines: 20
Message-ID: <vp299s$1o28v$5@dont-email.me>
References: <vmo1bs$1rnl$1@dont-email.me>
 <1e5cb0d4-f447-4fa7-b1e9-8056b03d27a2@att.net> <vohp3q$28sjf$1@dont-email.me>
 <b9b0c514-a71c-4cd8-b291-a4847db04795@att.net> <vokmsi$2t0ls$1@dont-email.me>
 <8a4c44c4ba0d3260a90d463acfa814fbc83f557a@i2pn2.org>
 <voktdg$2tt35$1@dont-email.me>
 <853f9685ed5be27fedb6486ca2931ef189b920df@i2pn2.org>
 <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 18 Feb 2025 16:34:20 +0100 (CET)
Injection-Info: dont-email.me; posting-host="da03ab08f41375b6d1ffd7b3c68daff2";
	logging-data="1837343"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+zCpAPE375tioQnOD7+lQedQx2ZpyvPmc="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:u2g1C9npVH7KU1A7UOfs2KfIGdg=
In-Reply-To: <453a56f5a2e8545cd171150970864c62ecff7442@i2pn2.org>
Content-Language: en-US
Bytes: 2894

On 18.02.2025 16:28, joes wrote:
> Am Tue, 18 Feb 2025 16:18:52 +0100 schrieb WM:
>> On 18.02.2025 11:09, joes wrote:
>>> Am Tue, 18 Feb 2025 09:54:02 +0100 schrieb WM:
>>
>>>> Therefore I gave you an example that you should be able to understand:
>>>> If every human has ended, then the human race has ended.
>>>> Analogously: If every FISON has been removed without changing the
>>>> union,
>>>> then the set {F(1), F(2), F(3), ...} has been removed without changing
>>>> the union.
>>> But the union has changed from a nonempty set to an empty one.
>> That's the proof. Nice that you now understand it.
> Um, that proves that you cannot remove everything without changing
> the union. What else could you have meant by that?

We can remove every FISON without changing the *assumed* union ℕ.

Regards, WM