Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!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 07:17:35 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <080b8a035c8a6302cf8731b22e1fb9427ceb0dcd@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me> <vnat4s$1s6ha$4@dont-email.me>
 <e43b1c65-4424-4e0c-9b2e-65e0e463815b@att.net> <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 4 Feb 2025 12:17:36 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2641400"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <vnsrd7$1phsp$4@dont-email.me>

On 2/4/25 5:50 AM, WM wrote:
> On 04.02.2025 01:39, Richard Damon wrote:
>> On 2/3/25 7:45 AM, WM wrote:
>>> On 02.02.2025 21:11, Richard Damon wrote:
>>>> On 2/2/25 11:39 AM, WM wrote:
>>> describe the set ℕ?
>>>>>> N is not a natural number.
>>>>>
>>>>> Not described by the Peano axioms?
>>>>
>>>> You seem to not understand the differnce between a number and a set 
>>>> of numbers
>>>
>>> Peano creates by induction the set ℕ of all natural numbers.
>>> Why doe I not delete by the same induction the set of all FISONs?
> 
>> Because you don't prove the needed induction.
>>
>> 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.

That doesn't prove your requirments, that we don't need to use some 
combination.

As I showed before, we can build N by the union of two disjoint sets of 
FISONs, therefore no individual FISON can be individually necessary, 
that doesn't mean that we can't build up the set N by the union of some 
infinite set of FISONs.

As I also showed, you logic also says that we can not factor 36, as on 
factor of 36 is necessary, but that is absurd, of course we can factor 
36, many ways: 1 x 36, 2x18, 3x12, 4x9, 6x6, 2x2x9, 2x3x6, 2x2x3x3

There is no item in common to all of these, so none is necessary, but 
the operation can be done.

You are just too stupid to see the flaw in you logic, or even to 
recognize the flaw when pointed out, because you mind is just colapsed 
into a black hole from the gigantic explosion from the contradictions in 
your logic, leaving a big pile of NOTHING.

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

I guess you just don't understand the statement.

N was created by the other Axioms, not the induction axiom, that is how 
we can TEST if some set is N.

> 
> Regards, WM