Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: WM <wolfgang.mueckenheim@tha.de>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Sun, 23 Feb 2025 11:52:53 +0100
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <vpeum5$eusv$5@dont-email.me>
References: <vmo1bs$1rnl$1@dont-email.me> <vot40r$lfa0$2@dont-email.me>
 <865ffa4c4c1091981c5b3b93ddf3dba690cd5ad2@i2pn2.org>
 <vp02g2$188u2$7@dont-email.me>
 <559d228c01ea290aec13e735ec85036862578165@i2pn2.org>
 <vp1lap$1l5b9$1@dont-email.me>
 <5220af0cb7d579f20d58809659d8dcb8d7ba046c@i2pn2.org>
 <vp28k5$1o28v$4@dont-email.me> <685c1274-e22f-409d-b39c-c3a5430c2f57@att.net>
 <vp528n$2bale$1@dont-email.me> <69f56ce0-08a2-4614-b102-e333175c643d@att.net>
 <vp6rg8$2o8sd$7@dont-email.me> <9a88665f-211f-4260-b585-97c72c7b6d1b@att.net>
 <vp7qea$2tofq$5@dont-email.me>
 <8bed122d8b355eff96158e6f5cb76cffcc42925c@i2pn2.org>
 <vp9hl1$3afuk$6@dont-email.me>
 <b8e72bea6b28cca53f4af0747a7fdd50dee59c4a@i2pn2.org>
 <vpadc7$3f0eh$2@dont-email.me>
 <4909c3c162f948930321987279d0e04864f68f9d@i2pn2.org>
 <vpc8hp$3su01$1@dont-email.me>
 <19fefec518c0b56123bb205075abc749f97d42d2@i2pn2.org>
 <vpclhh$3va9v$1@dont-email.me>
 <11d862694b95d6f57edad5b1da4519b5333cdb86@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 23 Feb 2025 11:52:54 +0100 (CET)
Injection-Info: dont-email.me; posting-host="880c0462f5528a0f5e9ce5f779818984";
	logging-data="490399"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19mUypaSFkdqD7MgE8rNy2nMkDwSmQTU/Y="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0NVDsIHls0SzF5rfGiUzGF2+N0w=
Content-Language: en-US
In-Reply-To: <11d862694b95d6f57edad5b1da4519b5333cdb86@i2pn2.org>
Bytes: 2657

On 23.02.2025 04:38, Richard Damon wrote:
> On 2/22/25 9:04 AM, WM wrote:

>> Induction is the feature, proven or claimed, that an element exists in 
>> the set and with any element also its successor.
>>
> Where do you get that from?

I got it from my studies at the university of Göttingen, but you can get 
it from Wikipedia.

> The induction rule is the method used to 
> prove that a statement P(n) is true for every natural number, by showing 
> that P(0) is true, and that if P(n) is true, the P(n+1) must be true.
> 
> Your claim is just the opposite of induction.

No that is just what I claim. This proof is used by Zermelo where I 
states it as an axiom.

Regards, WM