Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!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 non-existence of "dark numbers"
Date: Wed, 19 Mar 2025 23:21:30 +0100
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <vrfg19$1odu9$1@dont-email.me>
References: <vqrbtd$1chb7$2@solani.org> <vr1hig$5qt$1@news.muc.de>
 <vr29g3$23fi7$3@dont-email.me> <vr2d3k$jli$1@news.muc.de>
 <vr3fbu$1gbs1$3@solani.org> <vr3pvd$20r1$1@news.muc.de>
 <vr4cgl$3qbcs$3@dont-email.me> <vr6fgl$1uok$1@news.muc.de>
 <vr6tit$21dt9$1@dont-email.me> <vr71ea$qjf$1@news.muc.de>
 <vr774e$2a6rj$2@dont-email.me> <vr7b30$qjf$2@news.muc.de>
 <vr7jql$2jj8r$4@dont-email.me> <vr92l8$1pc1$1@news.muc.de>
 <vr9gla$bvhh$1@dont-email.me> <vrbn3b$2d16$1@news.muc.de>
 <vrc3ps$2og7j$1@dont-email.me> <vrc64d$219n$1@news.muc.de>
 <vrc70k$2og7j$5@dont-email.me>
 <d7b52b84106c40422c61dd52c60177d859a2f701@i2pn2.org>
 <vrebc5$pg11$2@dont-email.me> <vreeg5$sqmv$1@dont-email.me>
 <vreihc$10425$2@dont-email.me> <vreoon$15qne$1@dont-email.me>
 <vrepdo$161nt$1@dont-email.me> <887b3762-34e3-400b-b234-f09ca9547266@att.net>
 <vrf60j$1gcuo$1@dont-email.me>
 <ecb01a7a76b59adb1eb02b9d054a5e669bfe541d@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 19 Mar 2025 23:21:30 +0100 (CET)
Injection-Info: dont-email.me; posting-host="6f9f26c81ac23d253c44dec1578e707c";
	logging-data="1849289"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+jyaN0o8jkiDP3AQvOXe0HCddeyMuWjvk="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ZJjfV4R6FqsWlijcQFRwwzbGUos=
In-Reply-To: <ecb01a7a76b59adb1eb02b9d054a5e669bfe541d@i2pn2.org>
Content-Language: en-US
Bytes: 2987

On 19.03.2025 21:15, joes wrote:
> Am Wed, 19 Mar 2025 20:30:27 +0100 schrieb WM:

>> I use Cantor's ℕ which is larger than all its inductive subsets.
> It can't be larger. It contains nothing apart from the inductive set.

Cantor thought so too, but both of you are in error.
Proof: UF = ℕ  ==>  Ø = ℕ.
> 
>>>> Obviously
>>> Please prove that it is obvious.
>>
>> For Cantor's ℕ we have:
>> |ℕ \ {1}| = ℵo |ℕ \ {1, 2, 3, ..., n}| = ℵo ==>
>> |ℕ \ {1, 2, 3, ..., n+1}| = ℵo
>>
>> All FISONs fail to empty ℕ when applied one after the other.
> Awful wording.

Correct description of mathematical facts.>
>> All FISONs fail to empty ℕ when applied at once, because mathematics is
>> not time-dependent.
> Only you haven't "applied" all of them.

When applied one after the other, all FISONs fail. Therefore they also 
fail when being applied at once.

> That would be
> N \ {1, 2, 3, ...}

You cannot believe in mathematics? Then try another occupation.

Regards, WM