Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Sun, 16 Feb 2025 12:18:15 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <ea85a94a7ab93fab6da815ad02cd24bfd46c5839@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me> <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>
	<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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 16 Feb 2025 12:18:15 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="300144"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0

Am Sun, 16 Feb 2025 11:31:49 +0100 schrieb WM:
> On 15.02.2025 18:38, joes wrote:
>> Am Sat, 15 Feb 2025 15:55:55 +0100 schrieb WM:
>>> On 15.02.2025 14:40, Richard Damon wrote:

>>>> The set you show is empty, is the set of FISONs that are individually
>>>> not necessary.
>>> The remaining set should have at least one element.
>> Indeed, if you remove any number of FISONs, infinitely many remain.
> Induction proves an inductive set F of FISONs that can be removed
> without changing the result U(F) = ℕ ==> U(F\F) = ℕ.
No. It proves that it doesn’t matter *which single element* is removed.
It proves nothing about removing multiple.

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.