Path: ...!feeds.phibee-telecom.net!weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp
Message-ID: <2nxZsfRFhSbXIzXBP8c8h14qYX0@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: how
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp> <mpLoi51m0coJyOmPmE1fRwX_DDg@jntp> <c4a5b51e-a9c3-4d3f-b7f9-06a53593d836@att.net>
 <8SqWWZhhlVTCtwSAp_E7XuodBl8@jntp> <74cb7a4e-39ad-4832-80e8-2855d160af8a@att.net> <amH_j1aBYYp2aJdK8stwNkRBfPk@jntp>
 <86943ca8-a023-46d1-b068-78a03a0b0e76@att.net> <2a2cd7dc-1b18-45b2-b0c0-83867d71d796@att.net>
 <reRM2y82zJnhmEKTo5KQBzjUw6g@jntp> <94aae0c0-6fad-4124-ae16-144bfbb3901e@att.net>
Newsgroups: sci.math
JNTP-HashClient: GhaKZ2F2Hp2mrEoHDR7aJfI9Dg4
JNTP-ThreadID: 4YLc1knY-8u5i_KQ0oWqy89D7aY
JNTP-Uri: http://news2.nemoweb.net/?DataID=2nxZsfRFhSbXIzXBP8c8h14qYX0@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Sat, 22 Jun 24 20:19:39 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/126.0.0.0 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="25d5a506365fc8262443ce1bd287e5d0233c1bef"; logging-data="2024-06-22T20:19:39Z/8914084"; posting-account="217@news2.nemoweb.net"; mail-complaints-to="julien.arlandis@gmail.com"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: WM <wolfgang.mueckenheim@tha.de>
Bytes: 2766
Lines: 35

Le 22/06/2024 à 20:20, Jim Burns a écrit :
> On 6/22/2024 12:31 PM, WM wrote:

> Your (WM's) "argument" is that it is fanatic matheology
> to claim that ⋃{FISON} is an IISON
> an Infinite.Initial.Segment.Of.Naturals.

That is impossible because all FISONs are finite.

>> According to Cantor's theorem B
>> a set of necessary FISONs to be unioned does not exist.
> 
> According to proposal 3 == "∅, x∪{y}, {y:P(x)} exist"
> a set of FISONS.to.be.unioned exists

A set of necessary FISONs to be unioned as ℕ does not exist.
> 
> Removing a single FISON not.changes the union.
> Removing all FISONs is not removing a single FISON
> and changes the union.

What FISON is the first that must not be removed?
> 
>> Therefore we have: UF(n) = ℕ ⟹ U{ } = ℕ.
> 
> Do you (WM) have a math.like reason?

You are unfortunately unable to comprehend what you dislike: It is 
Cantor's Theorem B: Every existing set of ordinals has a first or smallest 
element. The set of FISONs necessary to yield ℕ would be a set of 
ordinals. It is well defined. For every FISON we can determine whether it 
is necessary.

Regards, WM