Deutsch English Français Italiano |
<103engv$25bv0$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: WM <wolfgang.mueckenheim@tha.de> Newsgroups: sci.logic Subject: Re: Simple enough for every reader? Date: Tue, 24 Jun 2025 19:33:20 +0200 Organization: A noiseless patient Spider Lines: 17 Message-ID: <103engv$25bv0$1@dont-email.me> References: <100a8ah$ekoh$1@dont-email.me> <101uh03$26rnt$2@dont-email.me> <10235vu$3lmmn$1@dont-email.me> <1029om9$1cir8$2@dont-email.me> <102bcgv$1rtqf$1@dont-email.me> <102bpch$1ud0p$2@dont-email.me> <102e17b$2ijkk$1@dont-email.me> <102e7cv$2jqav$1@dont-email.me> <102gse1$3c4uk$1@dont-email.me> <102ha1f$3f983$1@dont-email.me> <102jkju$52ir$1@dont-email.me> <102jva3$68hi$2@dont-email.me> <102m7g4$rqqe$1@dont-email.me> <102mrjb$10ko1$2@dont-email.me> <102ohr2$1gc76$1@dont-email.me> <102osui$1j1c3$1@dont-email.me> <102rfal$2am0a$1@dont-email.me> <102rhlt$2b85u$1@dont-email.me> <102u1gk$32100$1@dont-email.me> <102ug2t$35ekh$1@dont-email.me> <1030dft$3obvv$1@dont-email.me> <10315us$3tqn8$2@dont-email.me> <1033805$lvet$1@dont-email.me> <1033ks9$1075$1@dont-email.me> <10360hf$10lrl$1@dont-email.me> <10365va$11afj$3@dont-email.me> <1038it5$epe7$1@dont-email.me> <1039873$jtod$1@dont-email.me> <103b13q$14dr9$1@dont-email.me> <103bc1r$17360$2@dont-email.me> <103dqb3$1u2kv$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 24 Jun 2025 19:33:19 +0200 (CEST) Injection-Info: dont-email.me; posting-host="4505082250216232ec0663b2ab436de3"; logging-data="2273248"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18jnwpthS9lwlszcCapQEGTap6sfY14Ag4=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:sXJq36thcZHDrMtoNmavuuBNbGc= In-Reply-To: <103dqb3$1u2kv$1@dont-email.me> Content-Language: en-US On 24.06.2025 11:15, Mikko wrote: > On 2025-06-23 10:59:08 +0000, WM said: >> The natural numbers are well-ordered, from the first to the last which >> is subtracted. Does this change if all can be subtracted? > > There is no last natural number. Every subset of natural numbers > has a first member (in the arithmetic order) but infinite subsets > don't have a last one. Then it is impossible to remove all of them in their order. But if it is possible to remove them completely, that cannot be done in their order. It can be done however in their order up to every definable number. This shows the difference between definable and dark numbers. Regards, WM