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: Mon, 17 Feb 2025 22:02:12 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <a19403d34e895a3c501856b7fe4491ae881405f2@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me> <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>
 <8168ff403872d2b73e605fd425f467035477d04a@i2pn2.org>
 <vonju9$3ghe5$2@dont-email.me>
 <1bddcf577f6dad16e6b65b0005872279218a8f19@i2pn2.org>
 <voptug$3umuv$3@dont-email.me>
 <9a6137a0f0ddea74fcd2105c0ba2721a73a9df8c@i2pn2.org>
 <voq9tr$28vf$4@dont-email.me>
 <22831c5f673571f054acf8403a5f91a009cf622f@i2pn2.org>
 <voseqj$hjfh$2@dont-email.me>
 <ea85a94a7ab93fab6da815ad02cd24bfd46c5839@i2pn2.org>
 <vot51m$lfa1$3@dont-email.me>
 <1af5110bc7a2574a54110067a7d9a7b4a9426041@i2pn2.org>
 <vp029f$188u2$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 18 Feb 2025 03:02:13 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="559652"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vp029f$188u2$6@dont-email.me>

On 2/17/25 2:22 PM, WM wrote:
> On 16.02.2025 19:39, Richard Damon wrote:
>> On 2/16/25 11:51 AM, WM wrote:
> 
>>> Show the first FISON which changes the premise U(F) = ℕ.
> 
>> Why does there need to be?
> 
> Otherwise there is none, and the conclusion { } = ℕ is valid.
> 
> Regards, WM

No, just because none are REQUIRED doesn't mean that none can be used.

After all, there are no required factors of 36, as we can do either 4*9 
or 3*12, so none of them are required.

Your claim is the same as saying we can't factor 36.

Sorry, but your logic is just faulty.