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: Sat, 21 Jun 2025 13:44:42 +0200
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <10365va$11afj$3@dont-email.me>
References: <100a8ah$ekoh$1@dont-email.me> <101msm5$qln$1@dont-email.me>
 <101opv8$m16h$1@dont-email.me> <101pvvc$upfh$1@dont-email.me>
 <101rh76$1djtf$1@dont-email.me> <101sv4s$1o8bc$1@dont-email.me>
 <101u5sd$24q1b$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 21 Jun 2025 13:44:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1be23b1f474b15184d6d8ee1347268bc";
	logging-data="1092083"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ZiqCBT4+JFUDgnDcNuGPnGLVZLzF4ccw="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tld2fZYTnxpW9OZgJA0mgykEdJ0=
In-Reply-To: <10360hf$10lrl$1@dont-email.me>
Content-Language: en-US

On 21.06.2025 12:11, Mikko wrote:
> On 2025-06-20 12:40:41 +0000, WM said:
> 
>> On 20.06.2025 11:00, Mikko wrote:
>>> On 2025-06-19 14:13:49 +0000, WM said:
>>
>>>> But removing all in their natural or any given order (that does not 
>>>> allow two or more to take the same place) implies a last removed one.
>>>
>>> No, it does not. That implication is not acceptable without a proof.
>>
>> Removing all means that none remains.
> 
> True. But only those are removed that were there. What never was there
> is not removed, and the last natural number was not.

Consider only what has been removed. If all have been be removed, then a 
last one has been removed.

Regards, WM