Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Tue, 4 Feb 2025 18:43:56 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <a81d10f84158aaf19b9be7deed63ec3d9be539e2@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me> <vnconr$29v5v$1@dont-email.me>
 <87e2e677c7802c9c17df6063f340cb5857d5700b@i2pn2.org>
 <vnd4h8$2c0st$1@dont-email.me>
 <c50fde56e7e0c4cf4842d4944ea3d1917c75eb41@i2pn2.org>
 <vnfftp$2rv3t$1@dont-email.me>
 <680d4249c9bf1504231a53732ac5096184261495@i2pn2.org>
 <vngumj$34ss1$6@dont-email.me>
 <cd065ba19fec984c56ff3e76f230ff489da351a5@i2pn2.org>
 <vnifll$3gitr$1@dont-email.me>
 <f5a14ac6e51fafb07fe14019f9a7c53fa7dffdd5@i2pn2.org>
 <vnl53p$3ae7$2@dont-email.me>
 <d6a67ce0fcb32e7b71288f9e16520308739fdc09@i2pn2.org>
 <vnlor0$6dc0$4@dont-email.me>
 <c49ab5d7508118541255efb0abbcb7187e51b874@i2pn2.org>
 <vnnlpo$ltbv$1@dont-email.me>
 <c8011ff6e7d5a6afa2451dc2d4bb24ced00e88b9@i2pn2.org>
 <vno74o$nm9i$5@dont-email.me>
 <42fff9993d205e13d0a26c64faae31f6fc209b77@i2pn2.org>
 <vnqdph$188h1$2@dont-email.me>
 <91a5fd8c5c68221e4d52dfb109829c5627c3cb4e@i2pn2.org>
 <vnsrd7$1phsp$4@dont-email.me>
 <080b8a035c8a6302cf8731b22e1fb9427ceb0dcd@i2pn2.org>
 <vnthaf$1ud47$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 4 Feb 2025 23:43:57 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2719979"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vnthaf$1ud47$1@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3673
Lines: 54

On 2/4/25 12:04 PM, WM wrote:
> On 04.02.2025 13:17, Richard Damon wrote:
>> On 2/4/25 5:50 AM, WM wrote:
> 
>>>> You prove that no individual F(n) is needed.
>>>
>>> F(1) can be subtracted, and if F(n) can be subtracted, then F(n+1) 
>>> can be subtracted. That is the needed induction.
>>
>> Which just proves that all F(n) are in the set that can be 
>> individually not needed.
> 
> Then they all F(n) together can be individually discarded. Just like all 
> natural numbers together can be discarded by subtracting them.
>>
>>>> Note also, Peano doesn't "create" the Naturals with induction,
>>>
>>> He does. 1 or 0 ∈ ℕ, and if n is there, then n' is there.
>>
>> Which doesn't CREATE the set N, it shows that some other set is N.
> 
> If there is another set, then we could use it without need of Peano.
> 
> Regards, WM

????

There are many ways to create the set of Natual Numbers.

Peano is one.

It isn't the induction axiom that does it though.

The set of Natural numbers (in Peano) are created by the OTHER axioms, like

The Value 0 is in the Set.

There is a operators S, such that if n is in the set, then Sn is in the set.

If Sn = Sm, then it must be that n = m

If n is in the set, and is not the value 0, then there must be an m in 
the set such that Sm = n

There is no number m in the set such that Sm = 0


THOSE are the axioms that CREATE the set of Natual Numbers.

The induction axiom just provides a way to see if another set (typically 
defined by a condition) is equal to the set of Natural Numbers.

You are just showing that you still don't understand what you are 
talking about and that you keep on confusing the Set with its Elements, 
and are too stupid to understand your error.