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: Fri, 7 Mar 2025 10:24:52 +0100
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <vqee15$3fbs8$2@dont-email.me>
References: <vmo1bs$1rnl$1@dont-email.me>
 <43c020cb-dc8b-4feb-be1d-2a76f02be14e@att.net> <vpqnbk$39ff1$2@dont-email.me>
 <19431656-fb42-4569-9334-b5b7e19c80c6@att.net> <vpruld$3jg6j$1@dont-email.me>
 <4b45ff34-dc3f-4e32-90a3-237f78fbd321@att.net> <vpsqb1$3mn6v$5@dont-email.me>
 <2e5bced50a3571e40311d75977f0880db77fe5a1@i2pn2.org>
 <vpusp4$721i$2@dont-email.me>
 <630f69206a09e08bc68b59cc1f95aac5e8a0f84b@i2pn2.org>
 <vpvj2c$asqp$1@dont-email.me>
 <b8eb097a0e284c197f4f563cf555ce7d32db3f42@i2pn2.org>
 <vq26ko$sefa$1@dont-email.me>
 <88e790cc59217e199ea7419268fa49a598a0df8b@i2pn2.org>
 <vq3rmr$185rq$2@dont-email.me>
 <b2474d0cdfefa51cff6d2fde01314ee546b3e031@i2pn2.org>
 <vq6fsv$1ps4v$2@dont-email.me>
 <e2ccc7a24320def6fe63b68875563b7c1f880de5@i2pn2.org>
 <vqaea2$2j8tk$1@dont-email.me>
 <3add6da446fdb6225940eb4c8a7faf710360925e@i2pn2.org>
 <vqbp2p$14f6v$2@solani.org> <f9746399-8cdd-455a-93b0-1ec746b74dbf@att.net>
 <vqcl6l$31occ$1@dont-email.me>
 <fb40c67e72bb3036439fc907fa4c0fb8d88fcf29@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 07 Mar 2025 10:24:53 +0100 (CET)
Injection-Info: dont-email.me; posting-host="5f8536ed88e69ce752d87a93d77d60c1";
	logging-data="3649416"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+Bl7hkYBqnP1TO7ItPS0MIVTfiQOKLy3g="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:IF2NIG2UlpFh9T+sA3RbNB78Zmk=
Content-Language: en-US
In-Reply-To: <fb40c67e72bb3036439fc907fa4c0fb8d88fcf29@i2pn2.org>
Bytes: 2478

On 06.03.2025 21:23, joes wrote:
> Am Thu, 06 Mar 2025 18:15:01 +0100 schrieb WM:

>> Never a set of elements is constructed which is larger than every finite
>> number.
> Infinite sets are.

Not inductive sets.
> 
>>>> Induction is potentially infinite.
>>> Proof.by.induction completes
>> never!
> If it didn't, it wouldn't work.

It constructs and works for all potentially infinite sets.

Regards, WM