Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Wed, 5 Feb 2025 21:29:43 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <a1103c81138834a7872276945e16f14a496efd00@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me>
 <6e0c8ab2-402a-43a5-a348-0c727eae6a2e@att.net> <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> <12a38458-bfb9-4611-9072-eadbb166c0ec@att.net>
 <vnl5ll$3ae6$3@dont-email.me> <d47ddb72-2ab1-4923-b8db-2d01777f20ab@att.net>
 <vnnknt$knr7$7@dont-email.me> <e187d378-3c4a-4cf6-b57e-b8f623cac0e7@att.net>
 <vnqdi5$188h1$1@dont-email.me> <a007714a-1b8c-4d9a-9b90-64c37e2bdef3@att.net>
 <vnr2au$1cbur$2@dont-email.me> <908c8431-3d44-496c-8f5c-e33cc9554956@att.net>
 <vnsp4h$1phsq$1@dont-email.me> <faae7d60-6287-4734-87d8-091c3c3e0aa3@att.net>
 <vnva5b$2al9b$1@dont-email.me> <1ab7ff67-f1fb-4814-9d28-c883a4756097@att.net>
 <vo07bf$2fh7t$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 6 Feb 2025 02:29:44 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2889842"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vo07bf$2fh7t$1@dont-email.me>
Content-Language: en-US

On 2/5/25 12:32 PM, WM wrote:
> On 05.02.2025 18:19, Jim Burns wrote:
>> On 2/5/2025 4:14 AM, WM wrote:
> 
>> Either way, the axioms do not create,
>> but only describe.
> 
> The axioms of non-standard analysis or string theory create.
> But that is irrelevant for our topic. The axioms of Peano, Dedekind, 
> Cantor, Zermelo, Schmidt, v. Neumann, Lorenzen concern all natural 
> numbers with no exception by induction. By the same induction I can 
> remove all FISONs from U(F(n)) without changing the claimed union.
> 
> Regards, WM

Indiction is only ONE of the axioms, and one that isn't always included, 
as it makes the logic 2nd order.

Your induction does not "remove" all FISONs, as induction neither adds 
nor removes elements to the sets, but compares/tests them.

Induction lets your prove the creator function (which isn't induction 
itself) creates a set that is equal to the Natural Numbers.

You are just proving you don't understand what you are talking about.

But then, since you have shown that you think "axiomatic logic" is just 
"Mathology" that shouldn't be trusted, you are just showing that you 
don't actually belive in the logic you want to talk about.