Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: WM Newsgroups: sci.math Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Date: Tue, 3 Dec 2024 15:40:04 +0100 Organization: A noiseless patient Spider Lines: 19 Message-ID: References: <23311c1a-1487-4ee4-a822-cd965bd024a0@att.net> <71758f338eb239b7419418f49dfd8177c59d778b@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 03 Dec 2024 15:40:03 +0100 (CET) Injection-Info: dont-email.me; posting-host="083c203e078729021fda9db4a36efa00"; logging-data="131846"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18MYhut4kaRUiDkhx6rWexEeA61cXNLyfE=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:J6gM738XA92lY2nd9YoiP/bOhFc= Content-Language: en-US In-Reply-To: Bytes: 2482 On 03.12.2024 07:00, Moebius wrote: > Am 03.12.2024 um 06:47 schrieb Moebius: >> Am 03.12.2024 um 06:34 schrieb Chris M. Thomasson: > >> Then the following can be shown: >> >>       lim_(n->oo) {1, 2, 3, ..., n} = {1, 2, 3, ...} . >> > > While this seems to be intuitively clear, the following is less clear > (I'd say): > >> >>       lim_(n->oo) {n, n+1, n+2, ...} = {} . The second is an unavoidable consequence of the first. Regards, WM