Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!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: Sat, 15 Feb 2025 13:30:57 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <090e987bfbca6fc4d651058ef7c2bd5b65e713b0@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me> <vo8jr7$7mh2$2@dont-email.me>
 <79920977-902d-4f59-a11c-497383221c82@att.net> <voa1r5$ib75$1@dont-email.me>
 <468b9c37-ba93-485c-8685-4b320e168251@att.net> <vocig1$15cth$1@dont-email.me>
 <68bab5c2-50d3-43fc-be0d-51e01c5952bb@att.net> <vof5e4$1n7gr$1@dont-email.me>
 <a52c053a-8537-4f77-849d-aba3cf51283f@att.net> <vog83h$1rvmp$4@dont-email.me>
 <1e5cb0d4-f447-4fa7-b1e9-8056b03d27a2@att.net> <vohp3q$28sjf$1@dont-email.me>
 <b9b0c514-a71c-4cd8-b291-a4847db04795@att.net> <vokmsi$2t0ls$1@dont-email.me>
 <8a4c44c4ba0d3260a90d463acfa814fbc83f557a@i2pn2.org>
 <voktdg$2tt35$1@dont-email.me>
 <3ded4e5a144a7ae8488b4ed2540f9b3d82f54b29@i2pn2.org>
 <vondvt$3f47a$1@dont-email.me>
 <8168ff403872d2b73e605fd425f467035477d04a@i2pn2.org>
 <vonju9$3ghe5$2@dont-email.me>
 <1bddcf577f6dad16e6b65b0005872279218a8f19@i2pn2.org>
 <voptug$3umuv$3@dont-email.me>
 <9a6137a0f0ddea74fcd2105c0ba2721a73a9df8c@i2pn2.org>
 <voq9tr$28vf$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 15 Feb 2025 18:30:59 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="195862"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <voq9tr$28vf$4@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US

On 2/15/25 9:55 AM, WM wrote:
> On 15.02.2025 14:40, Richard Damon wrote:
> 
>> And since you build your claimed "set" by Naive Set theory, your sets 
>> are worthless.
> 
> Zermelo constructs his set in modern set theory. Induction concerns the 
> whole set. Compare Zermelo: "In order to secure the existence of 
> infinite sets, we need the following axiom." [Zermelo: Untersuchungen 
> über die Grundlagen der Mengenlehre I, S. 266] This is the axiom of 
> infinity proved by induction. It ascertains the existence of an infinite 
> set. It ascertains the set Z, Z_0 and the union of singletons ℕ.

Yes, he constructs the set of Natural Numbers based on modern set theory.

That you think that the axiom of infinite is proven by induction just 
shows that you don't understand how logic work.

Axioms are NOT PROVED, but taken as axioms. The mere fact you don't 
understand that demonstrates your ignorance of what you are talking about.

He might make a philosophical argument based on ideas that look a lot 
like induction that it should be true, but that isn't a proof.

If he could prove it, it wouldn't need to be an axiom, but would be one 
of the Theorems of the system.

Then we get to your set, the set of "Necessary FISONs", which you claim 
can be built on "modern set theory", when you don't show how to do so, 
but just show that you don't understand even the logic behind modern set 
theory.


>>
>> The set you show is empty, is the set of FISONs that are individually 
>> not necessary.
> 
> The remaining set should have at least one element. But it has none.
> Further it would be silly to claim that replacing a smaller FISON is 
> helpful after a larger FISON has been removed.

Maybe to your stupid mind, but it turns out that you can't actually 
express what you want in a valid logic system, because you are too 
stupid, and logic needs to find a purple two-horned unicorn.

Your "logic" is built from inconsistant assumptions and Naive logic that 
just blows your logic into smithereens of contraditions, taking your 
brain with it.

> 
> Regards, WM
>