Path: ...!weretis.net!feeder9.news.weretis.net!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: Wed, 19 Feb 2025 14:50:10 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <4ebfd24f5b4eb2faf12a367c0dd3976b78c15c5c@i2pn2.org>
References: <vmo1bs$1rnl$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>
	<61fda474-8104-4e37-a1cc-d9fec975bdc5@att.net>
	<vonrm3$3hu2c$1@dont-email.me>
	<aced9a6c-e670-40c0-ae9b-53636b4bf97d@att.net> <voq2hj$s46$3@dont-email.me>
	<89d12ce1-5183-40f6-aa37-e4c1522fbc3e@att.net> <voshi3$hjfg$3@dont-email.me>
	<fe4bf7b0-67c6-4236-a262-7cc3a4f2c50c@att.net>
	<vp03bv$188u2$8@dont-email.me>
	<b51bc483ae36ed77846449485574f2e05c08bb4d@i2pn2.org>
	<vp1ibt$1k723$2@dont-email.me>
	<412fef253b0cce7487c30301e52aa8b3ae1bdeda@i2pn2.org>
	<vp2872$1o28v$2@dont-email.me>
	<2c490daaadda4aa226b88ff0e98a1c1f4357cb38@i2pn2.org>
	<vp4q0r$fdmd$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 19 Feb 2025 14:50:10 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="791466"; 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: 4063
Lines: 52

Am Wed, 19 Feb 2025 15:31:54 +0100 schrieb WM:
> Am 18.02.2025 um 16:32 schrieb joes:
>> Am Tue, 18 Feb 2025 16:15:47 +0100 schrieb WM:
>>> On 18.02.2025 11:08, joes wrote:
>>>> Am Tue, 18 Feb 2025 10:02:53 +0100 schrieb WM:
>>>>> On 17.02.2025 21:36, joes wrote:
>>>>>> Am Mon, 17 Feb 2025 20:40:47 +0100 schrieb WM:
>>>>>>> On 16.02.2025 21:56, Jim Burns wrote:
>>>>>>>> On 2/16/2025 6:18 AM, WM wrote:

>>>>>>>>> All elements can be omitted. The set can be omitted.
>>>>>>>> The set is not an element.
>>>>>>> If every human has an end, then the human race need not have an
>>>>>>> end.
>>>>>> Exactly.
>>>>>>> If every human has ended, then the human race has ended.
>>>>>> If. Induction doesn’t prove that.
>>>>> But it is obviously true.
>>>> You can’t prove that humanity dies from the fact that every human
>>>> dies.
>>> Correct! But if every human has ended, then humanity has ended.
>> No, the other way around: if humanity has ended, every human „has
>> ended”.
> It is an equivalence.
No. Humanity can survive even though every human is mortal.

>>>>> Induction, as applied by Zermelo and others, proves: If every
>>>>> element is created or described by induction, then the set of all
>>>>> elements is created or described by induction.
>>>> No.
>>> Here in sci.math we should adhere to mathematics.
>> Indeed.
> Then read what they said.
They didn’t say that by induction, you can infer properties of a set
from its elements - like being finite or not. Compare {Q, N, R},
the set of endsegments, and {0, 1, 2}.

>>>>> Further: If all elements of a set are subtracted, then the set is
>>>>> subtracted. What should remain?
>>>> Makes no sense. There is nothing to subtract the set from.
>> For every set M that doesn’t contain itself, M \ {M} = M.
Such as for the set of all FISONs.

>>>>> If every element of a set is countable, then the set is a countable
>>>>> set.
>>>> What the fuck, absolutely not.
>>>>„If every natural is finite, then there are only finitely many
>>>> naturals.”?
Word on this?

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