Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: "Chris M. Thomasson" Newsgroups: sci.math Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Date: Sun, 29 Dec 2024 14:15:32 -0800 Organization: A noiseless patient Spider Lines: 35 Message-ID: References: <069069bf23698c157ddfd9b62b9b2f632b484c40@i2pn2.org> <2d3620a6e2a8a57d9db7a33c9d476fe03cac455b@i2pn2.org> <75921cc1f17cdb691969a99e666f237cd09c0b09@i2pn2.org> <25729298b142c60d5b245231984119d42d4ac089@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 29 Dec 2024 23:15:33 +0100 (CET) Injection-Info: dont-email.me; posting-host="ed7476352251308ea5932b030c92726f"; logging-data="1285249"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18/dLhRZzKSL5WxF8Z2CkZLlS9JMcZMRwI=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:WFGj/scgJqdI2hH4y/LleFFJaL0= Content-Language: en-US In-Reply-To: Bytes: 2783 On 12/29/2024 3:09 AM, WM wrote: > On 28.12.2024 20:42, Moebius wrote: > >>> Hint: For each and every n e IN there is a singleton such that n is >>> in it (namely {n}). >>> >>> BUT there's no singleton such that each and every n e IN is in it. > > My theorem: Every union of FISONs which stay below a certain threshold > stays below that threshold. The threshold is finite. { 1 }, { 1, 2 }, { 1, 2, 3 }, ... threshold = 3 { 1 }, { 1, 2 }, { 1, 2 (3) }, three is invalid so: { 1 }, { 1, 2 } // combining things and removing duplicates { 1, 2 } This is finite thinking. > > Find a counterexample. Don't claim it but prove it. Fail. > > Regards, WM >