Path: ...!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: Sat, 15 Feb 2025 18:01:39 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <6a3eea03bef90b7a4a162967adb8fec4f3cf4b07@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me> <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>
	<aa0dc4b50695d3571aae1a3309c5c87736f82a48@i2pn2.org>
	<vohskb$28sjf$3@dont-email.me>
	<862117d5-9944-4eaa-9bbf-040e376c27e1@att.net>
	<voneac$3eut3$1@dont-email.me>
	<d17b32a737936ec41b73245fa4e178237fbfbe2d@i2pn2.org>
	<vopuqt$s46$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 15 Feb 2025 18:01:39 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="189132"; 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
Bytes: 3796
Lines: 43

Am Sat, 15 Feb 2025 12:46:34 +0100 schrieb WM:
> On 14.02.2025 18:43, joes wrote:
>> Am Fri, 14 Feb 2025 13:52:27 +0100 schrieb WM:
>>> On 13.02.2025 17:38, Jim Burns wrote:
>>>> On 2/12/2025 5:19 AM, WM wrote:
>>>
>>>>> Induction proves all elements and even the set (Zermelo, Z).
>>>> No. Not the set. Each member of the set.
>>> All members of the set.
>> No, it does not include a member called „all members”.
> Induction proves the existence of the inductive set of all its members.
> Induction concerns the whole set.
No, you can not substitute a set into a sentence about naturals.

>>>> Set intensionality means same.membered sets are one set.
>>>> It does not mean sets are self.members.
>>> All members are proved. This means none remains. Zermelo obtains from
>>> that the existence of the infinite set Z.
>> Wrong. There is indeed a number, albeit not natural, of FISONs you can
>> NOT leave out: this number is infinite, and induction doesn’t reach it.
> Read, learn, try to understand.
Are you saying there are infinite naturals?

What else you snipped:
>>>>>> The erroneous step is from „every finite number”
>>>>>> to „an infinite number”.
>>>>> Induction proves an infinite number.
>> No, it does not prove a sentence to hold for infinite numbers
>> substituted into it, only finite ones, which there are infinitely many
>> of.
From „you can leave out any finite number of FISONs” it does not follow
that „you can leave out an infinite number of them”. There are no
infinite naturals, they are all finite.

>>>> Induction is valid without any infinite sets.
>>> Induction creates infinite sets.
>>> If i contruct x(1) and from x(n) follows x(n+1) then the set of all
>>> x(n) is infinite.
>> Sure. But no x is.
Even though there are infinitely many!

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