Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: WM Newsgroups: sci.math Subject: Re: The non-existence of "dark numbers" Date: Thu, 13 Mar 2025 11:37:53 +0100 Organization: A noiseless patient Spider Lines: 32 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 13 Mar 2025 11:37:54 +0100 (CET) Injection-Info: dont-email.me; posting-host="4c743e27c1816064b655fe5558154685"; logging-data="3353956"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18F4sYPb9WRm/ErgsaYSg5t4CBoN7b+9Tk=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:/VgPVXZj9dDkkjrF0YGOBn7rEwg= Content-Language: en-US In-Reply-To: Bytes: 2300 On 12.03.2025 23:06, Moebius wrote: > Am 12.03.2025 um 22:31 schrieb Alan Mackenzie: >> WM wrote: > >>> If you were able to learn, then you would have the chance here: >>> ℕ \ {1} = ℵo >> >> Where do you get that from?  You're trying to say a subset of N is >> identical to the first transfinite cardinal.  That cannot be true. > > Should read: |ℕ \ {1}| = ℵo Yes, thank you. > >>> and if ℕ \ {1, 2, 3, ..., n} = ℵo>> then ℕ \ {1, 2, 3, ..., n+1} = ℵo. >> >> Where do you get that from?  It is clearly false - the first of these >> sets contains an element, n+1, that the second one doesn't.  Therefore >> they are distinct sets. > > Should read: and if |ℕ \ {1, 2, 3, ..., n}| = ℵo then |ℕ \ {1, 2, 3, > ..., n+1}| = ℵo. > >>> Induction cannot cover all natural numbers but only less than remain >>> uncovered. > Try to find a defined FISON that can accomplish the same as the dark numbers do collectively, namely ℕ \ {1, 2, 3, ...} = { }. Regards, WM