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: joes <noreply@example.org>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Fri, 14 Feb 2025 12:52:30 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <8168ff403872d2b73e605fd425f467035477d04a@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
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 14 Feb 2025 12:52:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1906"; 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 Fri, 14 Feb 2025 13:46:53 +0100 schrieb WM:
> 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.
„All”, i.e. inf. many, is not an element of that.

>> UF is not empty.
> When will you learn that nobody claims such a nonsense?

Am Thu, 13 Feb 2025 12:59:56 +0100 schrieb WM:
> All FISONs can be removed without changing the result.

-- 
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.