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: Wed, 5 Feb 2025 18:32:31 +0100
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <vo07bf$2fh7t$1@dont-email.me>
References: <vmo1bs$1rnl$1@dont-email.me> <vna72s$1ng1k$2@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 05 Feb 2025 18:32:32 +0100 (CET)
Injection-Info: dont-email.me; posting-host="c676bbdee3ed047372689e34aabbb2da";
	logging-data="2606333"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/iaNqObzXHWrN5BYb5UWPsSdmUVku9BH0="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DvDx7t1P0l99qvH+oJUP38R8sC0=
Content-Language: en-US
In-Reply-To: <1ab7ff67-f1fb-4814-9d28-c883a4756097@att.net>
Bytes: 2485

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