Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: FromTheRafters <FTR@nomail.afraid.org>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Sat, 22 Feb 2025 12:09:59 -0500
Organization: Peripheral Visions
Lines: 13
Message-ID: <vpd0dd$22fp$1@dont-email.me>
References: <vmo1bs$1rnl$1@dont-email.me>   <vosf9f$hjfh$4@dont-email.me> <f85884a59c9301bfc9d6a66fa935b74dc080ff24@i2pn2.org> <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>
Reply-To: erratic.howard@gmail.com
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-15"; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Feb 2025 18:10:06 +0100 (CET)
Injection-Info: dont-email.me; posting-host="7c26a6f785c58bda4533875532e14e1b";
	logging-data="68089"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/uBAZ23qd/ViyWxFy5IGDxNb8XWaYilCU="
Cancel-Lock: sha1:a9Oway4A8D9TmAC1M63okIVA01g=
X-Newsreader: MesNews/1.08.06.00-gb
X-ICQ: 1701145376
Bytes: 2442

After serious thinking WM wrote :
> On 22.02.2025 13:15, Richard Damon wrote:
>
>> Peano's successors are not induction.
>> 
>> Induction is the axiom that lets your prove that a set contains the set of 
>> Natural Numbers. It isn't a "construction" technique.
>
> Induction is the feature, proven or claimed, that an element exists in the 
> set and with any element also its successor.

No, it is essentially the idea or notion that since any individual k 
has a successor is true, that all of them do.