Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!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 set of necessary FISONs Date: Tue, 4 Mar 2025 14:49:43 +0100 Organization: A noiseless patient Spider Lines: 20 Message-ID: References: <4bce9826fcd4c68b4785aabc83de9394eae61402@i2pn2.org> <2a62cfa0db610ef9bb26903f8e9417e96e1bfa57@i2pn2.org> <4a9f36181152eb4df4a819f7abcdaae5de1f3d09@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 04 Mar 2025 14:49:44 +0100 (CET) Injection-Info: dont-email.me; posting-host="50968e3a82303d6f7fbac0fc0fe51ac3"; logging-data="1996332"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+8pQuJ1S/47PdK5zy1ObP+khjKc0FQgGE=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:MVgnXx+7cTB94b2l83NPOGwEO5g= Content-Language: en-US In-Reply-To: Bytes: 2694 On 04.03.2025 12:53, FromTheRafters wrote: > WM explained on 3/4/2025 : >> On 04.03.2025 02:05, Richard Damon wrote: >>> On 3/3/25 4:20 AM, WM wrote: >> >>>> Every set of FISONs which is assumed to be ℕ must have a first >>>> element. No FISON can serve as such. That is proven by induction. >>> >>> But the claim isn't that some FISON is N, it is that some infinite >>> set of FISONs, none individually required, will union to N. >> >> If there is a set, then it has a first element. > > Wrong, neither the emptyset If there is a set of FISONs being ℕ, then it has a first element. You are a dishonest person. Regards, WM