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 10:44:05 +0100
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <vp6th6$2pd0e$1@dont-email.me>
References: <vmo1bs$1rnl$1@dont-email.me> <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>
 <f85884a59c9301bfc9d6a66fa935b74dc080ff24@i2pn2.org>
 <vot40r$lfa0$2@dont-email.me>
 <865ffa4c4c1091981c5b3b93ddf3dba690cd5ad2@i2pn2.org>
 <vp02g2$188u2$7@dont-email.me>
 <559d228c01ea290aec13e735ec85036862578165@i2pn2.org>
 <vp1lap$1l5b9$1@dont-email.me>
 <5220af0cb7d579f20d58809659d8dcb8d7ba046c@i2pn2.org>
 <vp28k5$1o28v$4@dont-email.me> <685c1274-e22f-409d-b39c-c3a5430c2f57@att.net>
 <vp528n$2bale$1@dont-email.me>
 <8e379a2605ca8fe2941b8137b9cada6c3d90ddf2@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 10:44:06 +0100 (CET)
Injection-Info: dont-email.me; posting-host="5fd5b46ee2dbc38e71580a8df378aca7";
	logging-data="2929678"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18HhVbZQ0glhEubS794WIAPBQ9mUdrNIEM="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5VVxGbyEe5ciHNZcwNIR3H1Sn6s=
Content-Language: en-US
In-Reply-To: <8e379a2605ca8fe2941b8137b9cada6c3d90ddf2@i2pn2.org>
Bytes: 3013

On 20.02.2025 03:23, Richard Damon wrote:
> On 2/19/25 11:52 AM, WM wrote:

>> Proof: If UF = ℕ is assumed, then F(1) can be omitted without changing 
>> the union of the remainder. And if F(n) can be omitted without 
>> changing this union, then also F(n+1) can be omitted without changing 
>> this union. That makes the omitted FISONs the inductive collection of 
>> all FISONs and proves the implication: If UF = ℕ, then { } = ℕ.

> But induction doesn't subtract elements.

By induction we can prove what FISONs are useless and can be subtracted, 
namely all FISONs satisfying |ℕ \ {1, 2, 3, ..., n}| = ℵo.
> 
> All you have shown is that the no element in the set of all FISON is 
> neeeded.

And no FISON is useful.
> 
> The problem is your "set" UF isn't being defined by a proper set theory, 
> but just by Naive Set Theory.

My set is defined by induction like the set of definable numbers or 
FISONs is defined by Peano, Dedekind, Cantor, Zermelo, Schmidt, v. 
Neumann, Lorenzen.

Regards, WM