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 non-existence of "dark numbers"
Date: Wed, 19 Mar 2025 16:56:34 +0100
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <vrepfi$161nt$2@dont-email.me>
References: <vqrbtd$1chb7$2@solani.org> <vr1bav$p45$1@news.muc.de>
 <vr1e8i$1er2v$1@dont-email.me> <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>
 <5d4e93233370e24f89417e1dd62b44763cbc47f5@i2pn2.org>
 <vre3cq$ishj$2@dont-email.me>
 <700c7b08f8c38d6604e202c012078556c536af93@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 16:56:34 +0100 (CET)
Injection-Info: dont-email.me; posting-host="6f9f26c81ac23d253c44dec1578e707c";
	logging-data="1246973"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19vTN6qSRW4PDHsfe0jiGdTVSkffgGFACs="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:QLDZMaxSddtkBPPMtYhUpJC+3kU=
In-Reply-To: <700c7b08f8c38d6604e202c012078556c536af93@i2pn2.org>
Content-Language: en-US
Bytes: 2657

On 19.03.2025 15:10, joes wrote:
> Am Wed, 19 Mar 2025 10:39:38 +0100 schrieb WM:
>> On 18.03.2025 21:40, joes wrote:
>>> Am Tue, 18 Mar 2025 16:34:21 +0100 schrieb WM:
>>>> On 18.03.2025 12:57, Alan Mackenzie wrote:
>>>>> WM <wolfgang.mueckenheim@tha.de> wrote:
>>>>
>>>>>> The set of FISONs is an inductive set. But it is not ℕ because ∀n ∈
>>>>>> UF: |ℕ \ {1, 2, 3, ..., n}| = ℵo.
>>>>> That "because" doesn't hold
>>>> Because you say so? That's not significant. Even if you can't
>>>> understand the correct argument, it is decisive: ℕ_def contains all
>>>> numbers the subtraction of which from ℕ does not result in the empty
>>>> set. Obviously the subtraction of all numbers which cannot empty ℕ
>>>> cannot empty ℕ.
>>> There are many such sets: N\{0}, N\{1}, N\{2}, ...
>> ℕ_def contains only numbers with FISONs. N\{0} is not a FISON.
> It contains only numbers with FISONs.

No.

Regards, WM
>