Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Moebius Newsgroups: sci.math Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Date: Sat, 11 Jan 2025 05:21:29 +0100 Organization: A noiseless patient Spider Lines: 20 Message-ID: References: <66868399-5c4b-4816-9a0c-369aaa824553@att.net> <412770ca-7386-403f-b7c2-61f671d8a667@att.net> <59af1502-0bc9-4266-b556-6164edb6a8d4@att.net> <9a22a29bfd5af29db5bad5f3cae537665b8dafd7@i2pn2.org> <81834850e9e4fdedeb38ddc1da4df4a1ebe34e07@i2pn2.org> Reply-To: invalid@example.invalid MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 11 Jan 2025 05:21:30 +0100 (CET) Injection-Info: dont-email.me; posting-host="afb9fcf797f54f3138f574402a8e81c0"; logging-data="498484"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18BWDU2965k3UB7Qbhs+eak" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:xELN9K1ynqQa7cWNKIkW1tjU0HA= Content-Language: de-DE In-Reply-To: Bytes: 2518 Am 11.01.2025 um 04:51 schrieb Moebius: > Am 10.01.2025 um 23:18 schrieb Chris M. Thomasson: >> On 1/10/2025 1:52 AM, WM wrote: >>> Then for every [ordinal number] it is determined whether [it] is a >>> natural number [or not]. > > Indeed! There is even a simple criteria for this (i.e. if an ordinal number is a natural number or not): For each and every ordinal number x: x is a natural number iff x < omega. .. .. ..