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: Sat, 15 Feb 2025 12:31:28 +0100
Organization: A noiseless patient Spider
Lines: 20
Message-ID: <voptug$3umuv$3@dont-email.me>
References: <vmo1bs$1rnl$1@dont-email.me> <vo7c1q$7ne$3@dont-email.me>
 <0d24c3fd-cd63-4e21-9dd4-ab1360560b09@att.net>
 <cc879e12-d325-48b6-be78-87b8b36cb50d@att.net> <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 15 Feb 2025 12:31:29 +0100 (CET)
Injection-Info: dont-email.me; posting-host="30128fc39f39e1040a1d9d6695fa6ca2";
	logging-data="4152287"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19cS6qHwD1tc7OZe6+6t6UgIwEpsu4ESwg="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Tj/S6JSxZ4XGcuCpdE0v21moPnU=
In-Reply-To: <1bddcf577f6dad16e6b65b0005872279218a8f19@i2pn2.org>
Content-Language: en-US
Bytes: 2627

On 14.02.2025 18:32, joes wrote:

> You claim that UF = X and also U({}) = X.

No. You and others have claimed that there is a set of FISONs containing 
all natural numbers. I have accepted that a s premise.

> If UF=N and N={}, then UF={}.

No, learn what an implication is! In W. Mückenheim: "Mathematik für die 
ersten Semester", 4th ed., De Gruyter, Berlin (2015) for instance it is 
explained for beginners.

There is no FISON that is in the claimed set. Therefore
If UF = ℕ then ℕ = {}.

This does *not* prove UF = {}. F contains sets and UF contains natural 
numbers, but not enough natural numbers, not ℕ.

Regards, WM