Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: joes Newsgroups: sci.math Subject: Re: The set of necessary FISONs Date: Sat, 15 Feb 2025 17:38:06 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: <22831c5f673571f054acf8403a5f91a009cf622f@i2pn2.org> References: <79920977-902d-4f59-a11c-497383221c82@att.net> <468b9c37-ba93-485c-8685-4b320e168251@att.net> <68bab5c2-50d3-43fc-be0d-51e01c5952bb@att.net> <1e5cb0d4-f447-4fa7-b1e9-8056b03d27a2@att.net> <8a4c44c4ba0d3260a90d463acfa814fbc83f557a@i2pn2.org> <3ded4e5a144a7ae8488b4ed2540f9b3d82f54b29@i2pn2.org> <8168ff403872d2b73e605fd425f467035477d04a@i2pn2.org> <1bddcf577f6dad16e6b65b0005872279218a8f19@i2pn2.org> <9a6137a0f0ddea74fcd2105c0ba2721a73a9df8c@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Sat, 15 Feb 2025 17:38:06 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="189132"; 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: 2787 Lines: 19 Am Sat, 15 Feb 2025 15:55:55 +0100 schrieb WM: > On 15.02.2025 14:40, Richard Damon wrote: > >> And since you build your claimed "set" by Naive Set theory, your sets >> are worthless. > Zermelo constructs his set in modern set theory. Induction concerns the > whole set. Compare Zermelo: "In order to secure the existence of > infinite sets, we need the following axiom." [Zermelo: Untersuchungen > über die Grundlagen der Mengenlehre I, S. 266] This is the axiom of > infinity proved by induction. It ascertains the existence of an infinite > set. It ascertains the set Z, Z_0 and the union of singletons ℕ. >> >> The set you show is empty, is the set of FISONs that are individually >> not necessary. > The remaining set should have at least one element. Indeed, if you remove any number of FISONs, infinitely many remain. -- 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.