Path: ...!weretis.net!feeder9.news.weretis.net!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: Sat, 22 Feb 2025 07:15:06 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <cbaf7c942fb02076780aaebcae5f44d2dd75e224@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me> <voneac$3eut3$1@dont-email.me>
 <61fda474-8104-4e37-a1cc-d9fec975bdc5@att.net> <vonrm3$3hu2c$1@dont-email.me>
 <aced9a6c-e670-40c0-ae9b-53636b4bf97d@att.net> <voq2hj$s46$3@dont-email.me>
 <89d12ce1-5183-40f6-aa37-e4c1522fbc3e@att.net> <voshi3$hjfg$3@dont-email.me>
 <fe4bf7b0-67c6-4236-a262-7cc3a4f2c50c@att.net> <vp03bv$188u2$8@dont-email.me>
 <b51bc483ae36ed77846449485574f2e05c08bb4d@i2pn2.org>
 <vp1ibt$1k723$2@dont-email.me>
 <412fef253b0cce7487c30301e52aa8b3ae1bdeda@i2pn2.org>
 <vp2872$1o28v$2@dont-email.me>
 <2c490daaadda4aa226b88ff0e98a1c1f4357cb38@i2pn2.org>
 <vp4q0r$fdmd$2@solani.org>
 <4ebfd24f5b4eb2faf12a367c0dd3976b78c15c5c@i2pn2.org>
 <vp52vt$fi52$1@solani.org>
 <253cfda389d35df4232c6c6b2e4db60d59e34ebc@i2pn2.org>
 <vp7005$2pd0e$2@dont-email.me>
 <dafdd193b541380b065bfaa75a3affd07f224f93@i2pn2.org>
 <vp7qpr$2tofr$1@dont-email.me>
 <658393ae99f25155948e76389982391c3d930c4e@i2pn2.org>
 <vpc9vj$3t9g8$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Feb 2025 12:15:06 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1245905"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vpc9vj$3t9g8$3@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 2437
Lines: 17

On 2/22/25 5:47 AM, WM wrote:
> On 22.02.2025 11:39, joes wrote:
>> Am Thu, 20 Feb 2025 19:03:39 +0100 schrieb WM:
>>> On 20.02.2025 12:46, joes wrote:
>>>> Am Thu, 20 Feb 2025 11:26:13 +0100 schrieb WM:
>>>
>>>>> Subtraction of all elements leaves the empty set.
>>>>> UF = ℕ ==> Ø = ℕ.
>>>> Substitute: UF = X != N. Does it follow that X = {}?
>>> No.
>> Ok. Why does it follow for N only?
> 
> We know that |ℕ \ {1, 2, 3, ..., n}| = ℵo but not what is
> |X \ {1, 2, 3, ..., n}|.
> 
> Regards, WM

It has to be at least as big as ℵo, as N is contained in X