Path: ...!weretis.net!feeder9.news.weretis.net!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: Fri, 14 Feb 2025 08:35:47 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <95b91b772a05d6973b8c31f8c223a722a99bf26c@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me> <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>
 <b9b0c514-a71c-4cd8-b291-a4847db04795@att.net> <vokmsi$2t0ls$1@dont-email.me>
 <8a4c44c4ba0d3260a90d463acfa814fbc83f557a@i2pn2.org>
 <voktdg$2tt35$1@dont-email.me>
 <3ded4e5a144a7ae8488b4ed2540f9b3d82f54b29@i2pn2.org>
 <vondvt$3f47a$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 14 Feb 2025 13:35:48 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="7661"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vondvt$3f47a$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3286
Lines: 35

On 2/14/25 7:46 AM, WM wrote:
> On 13.02.2025 15:02, joes wrote:
>> Am Thu, 13 Feb 2025 14:51:44 +0100 schrieb WM:
>>> On 13.02.2025 13:54, joes wrote:
>>>> Am Thu, 13 Feb 2025 12:59:56 +0100 schrieb WM:
>>>
>>>>> All of us who know induction know that by induction we have obtained
>>>>> that all FISONs can be removed without changing the result.
>>>> The result has certainly changed from a nonempty set, whatever you
>>>> think the union of inf. many FISONs is.
>>> The assumption was UF = ℕ and has not changed by omitting any FISON.
>> Yes, but it does change when you omit *all*.
> 
> It does because induction is valid for all elements of the inductive set.
> 
>> UF is not empty.
> 
> When will you learn that nobody claims such a nonsense?
> 
> Regards, WM

But you need to remember what set you are doing induction on.

Your are BUILDING the set of "Not individually needed" FISONs, not the 
set of FISONs you can use to take a union of to make the Natural Numbers.

That last set, the way you are trying to define it, is only a set in 
Naive Set Theory, and thus part of a broken logic system.

The emptyness of the set of FISONs that are individually required 
doesn't elimiate them from the set of FISONs you can union to make the 
Natural Numbers.

Not unless you agree that your logic says 36 can't be factored.

Sorry, you are just proving your stupidity,