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: Wed, 18 Jun 2025 15:48:13 +0200
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <102ug2t$35ekh$1@dont-email.me>
References: <100a8ah$ekoh$1@dont-email.me> <101cf4h$gl20$2@dont-email.me>
 <101ejtv$129q7$1@dont-email.me> <101f0rr$14h5f$2@dont-email.me>
 <101hevt$22j02$1@dont-email.me> <101hn99$25a4g$2@dont-email.me>
 <101mah1$3t0cq$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 18 Jun 2025 15:48:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="85cd4ab23512ed19a9ca75740d4a8b08";
	logging-data="3324561"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19G2yjvguClF/LPURWkj1RatcL2G98JItE="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:7tkrzapXOTna9tx2Y8OpgbeCVOw=
Content-Language: en-US
In-Reply-To: <102u1gk$32100$1@dont-email.me>

On 18.06.2025 11:39, Mikko wrote:
> On 2025-06-17 10:57:01 +0000, WM said:
> 
>> On 17.06.2025 12:16, Mikko wrote:
>>> On 2025-06-16 10:50:58 +0000, WM said:
>>>
>>> The error above is that the expression "the last one" is used without
>>> proving that there is a last one.
>>
>> If all natnumbers are subtracted, none remains.
> 
> True.
> 
>> If all natnumbers are subtracted in their order, one after the other, 
>> none remains.
> 
> The order does not matter,

But the order exists for all defined natural numbers. We know of each 
one its predecessor and its successor, if those are existing.

> the result is the same anyway.

That means that none remains. I case of known order we know the last one 
subtracted.
> 
> But that does not prove that your "the last one" denotes anything.

How can an ordered set be completely subtracted in its given order 
without a last one?

Regards, WM
>