Path: ...!news.roellig-ltd.de!open-news-network.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail From: WM Newsgroups: sci.logic Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Date: Tue, 17 Dec 2024 11:30:46 +0100 Message-ID: References: <0b1bb1a1-40e3-464f-9e3d-a5ac22dfdc6f@tha.de> <95183b4d9c2e32651963bac79965313ad2bfe7e8@i2pn2.org> <33512b63716ac263c16b7d64cd1d77578c8aea9d@i2pn2.org> <67e587a384538d7d311613630232bf025415e67b@i2pn2.org> <4efa80aa8ba6633e37130c0374e2f44d4c89c8a3@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 17 Dec 2024 10:30:46 -0000 (UTC) Injection-Info: solani.org; logging-data="1474123"; mail-complaints-to="abuse@news.solani.org" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:kLwVA1KsAZ39bVrmUtadYRVfEwg= Content-Language: en-US X-User-ID: eJwFwYEBwDAEBMCVyD9hHCX2H6F3BlfvSzenrS3tZQfZi6C/VKhyCt6hlccz1CrO9Cc9K0ipEgGSuXuFPzd0FKQ= In-Reply-To: <4efa80aa8ba6633e37130c0374e2f44d4c89c8a3@i2pn2.org> Bytes: 2978 Lines: 27 On 17.12.2024 00:57, Richard Damon wrote: > On 12/16/24 3:59 AM, WM wrote: >> On 15.12.2024 22:14, Richard Damon wrote: >>> On 12/15/24 2:44 PM, WM wrote: >>>> On 15.12.2024 13:54, Richard Damon wrote: >>>>> >>>>> You can't "name" your dark numbers, >>>> >>>> because they are dark. >> >>>> |ℕ \ {1, 2, 3, ...}| = 0 cannot be accomplished by visible numbers >>>> because ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo. >> >>> Which just shows that the full set in infinte, and any member in it >>> is finite, and not the last member. >> >> Many members can be subtracted individually but infinitely many >> members cannot be subtracted individually. They are belonging to the >> set. They are dark. > Sure an infinite number of members can be subtracted individually, An unbounded number can be subtracted individually. However, if all are subtracted individually, then a last one is subtracted. That cannot happen. Regards, WM