Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: joes Newsgroups: sci.math Subject: Re: The set of necessary FISONs Date: Fri, 31 Jan 2025 18:00:37 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: References: <903de8e1-3538-4cfe-9f7a-6509eda47ab6@att.net> <3844edd7-0750-4418-bff6-2759817446b3@att.net> <27377646-137a-4f8f-a7bb-a75707b2da96@att.net> <4d349964-211f-42f1-936f-81c22ae54cb5@att.net> <6e0c8ab2-402a-43a5-a348-0c727eae6a2e@att.net> <87e2e677c7802c9c17df6063f340cb5857d5700b@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Fri, 31 Jan 2025 18:00:37 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="2054845"; 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: 2315 Lines: 15 Am Wed, 29 Jan 2025 12:47:53 +0100 schrieb WM: > On 29.01.2025 11:53, joes wrote: >> Am Wed, 29 Jan 2025 09:26:35 +0100 schrieb WM: > >>> But its union cannot be ℕ because a non-empty set of FISONs would be >>> necessary. >> Why should a necessary set exist? > The set cannot be empty. Oh, but you showed the opposite: > Therefore it has elements. For each element we > can show that it is not leading to the aim. Therefore no such set > U(F(n)) = ℕ exists. -- 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.