Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Wed, 12 Feb 2025 07:15:35 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <263cb66dc2eb91ddf08a2e0d0cc247455430634b@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me>
 <aaeb6a0f-0a2c-41ee-aecd-24d1532da5eb@att.net> <vo1tbc$2sgko$1@dont-email.me>
 <11e634bd-c1d3-4d72-9e18-be6ca22b4742@att.net> <vo2pit$31hlr$1@dont-email.me>
 <aa038824-04c7-4fde-87f4-b9c3316d30a1@att.net> <vo32p6$3393i$1@dont-email.me>
 <999fb07e-7bef-4423-afeb-a08922613c65@att.net> <vo5cvb$3hukd$1@dont-email.me>
 <be2d9f3e-be38-451a-8598-de19a949cf1e@att.net> <vo7c1q$7ne$3@dont-email.me>
 <0d24c3fd-cd63-4e21-9dd4-ab1360560b09@att.net>
 <cc879e12-d325-48b6-be78-87b8b36cb50d@att.net> <vo8jr7$7mh2$2@dont-email.me>
 <79920977-902d-4f59-a11c-497383221c82@att.net> <voa1r5$ib75$1@dont-email.me>
 <468b9c37-ba93-485c-8685-4b320e168251@att.net> <vocig1$15cth$1@dont-email.me>
 <68bab5c2-50d3-43fc-be0d-51e01c5952bb@att.net> <vof5e4$1n7gr$1@dont-email.me>
 <a52c053a-8537-4f77-849d-aba3cf51283f@att.net> <vog83h$1rvmp$4@dont-email.me>
 <1e5cb0d4-f447-4fa7-b1e9-8056b03d27a2@att.net> <vohp3q$28sjf$1@dont-email.me>
 <voi2vf$2aov0$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 12 Feb 2025 12:15:36 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3882971"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <voi2vf$2aov0$1@dont-email.me>
Content-Language: en-US

On 2/12/25 7:08 AM, FromTheRafters wrote:
> WM wrote :
>> On 12.02.2025 01:38, Jim Burns wrote:
>>> On 2/11/2025 2:23 PM, WM wrote:
>>>> On 11.02.2025 18:42, Jim Burns wrote:
>>>>> On 2/11/2025 4:31 AM, WM wrote:
>>>
>>>>>> The set F of FISONs which can be removed
>>>>>> without changing the assumed result UF = ℕ
>>>>>> is the infinite set F of all FISONs.
>>>>>
>>>>> Yes.
>>>>
>>>> Fine.
>>>>
>>>>>> This is proven by just the same induction
>>>>>> as Zermelo proves his infinite set Z.
>>>>>>
>>>>>> Either you accept both proofs or none.
>>>
>>> What is this "both proofs"?
>>
>> One is Zermelo's proof by induction that there is an infiite set Z.
> 
> It's an axiom, not a theorem.

WM doesn't know the difference.