Path: ...!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: joes Newsgroups: sci.math Subject: Re: The non-existence of "dark numbers" Date: Sun, 16 Mar 2025 13:12:06 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Sun, 16 Mar 2025 13:12:06 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="429524"; mail-complaints-to="usenet@i2pn2.org"; posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM"; User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2) X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 2864 Lines: 28 Am Sat, 15 Mar 2025 18:25:33 +0100 schrieb WM: > On 15.03.2025 17:52, joes wrote: >> Am Sat, 15 Mar 2025 17:44:40 +0100 schrieb WM: >>> On 15.03.2025 12:26, joes wrote: >>>> Am Fri, 14 Mar 2025 23:10:11 +0100 schrieb WM: >>> >>>>> ℕ_def contains all numbers the subtraction of which from ℕ does not >>>>> result in the empty set. >>>> This makes NO SENSE. >>> There are numbers which can be removed from ℕ without emptying ℕ, for >>> instance {2}. All numbers of that kind can be collected. >> Like I said: >>>> You either mean N_def=N (no single removed number makes the set empty >>>> *facepalm*) > The numbers which can be removed from ℕ without emptying ℕ are not all > numbers of ℕ. Subtracting all numbers of ℕ from ℕ would empty ℕ. So there is a number which when removed from N empties it? >>>> or N_def={} (subtracting everything makes the set empty). > ℕ_def contains 2, so it is not empty. >>>>> Obviously the subtraction of all numbers which cannot empty ℕ cannot >>>>> empty ℕ. >>>> What? Is N_def finite? (don't come at me with "potential"). >>> Have you ever defined a number by an infinite FISON? >> No such numbers. -- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math: It is not guaranteed that n+1 exists for every n.