Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!usenet.goja.nl.eu.org!pasdenom.info!from-devjntp
Message-ID: <RCAlRuRy_RKB_tYItKJs7fNcIs0@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Replacement of Cardinality
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <e8a3a66a-7d83-4658-9f4c-23d7dc354fb9@att.net> <iqelfxYKWhBbwcm10DcO5hr3scI@jntp>
 <f920592b-897c-48b9-a9af-80f25bc60e4b@att.net> <DDPks1ynTy6IhIWNHaxt25GM1v0@jntp>
 <6c471296-90b8-4cf7-bc9b-480bd34ef190@att.net> <v93n0s$b7a2$4@dont-email.me>
 <1f25a3d6-7b0e-476d-aa99-ecb003cf763f@att.net> <b0XFTJvTommasLo9Ns10OeW0TN0@jntp>
 <75e2ce0e-7df8-4266-968b-9c58e4140b03@att.net>
Newsgroups: sci.logic,sci.math
JNTP-HashClient: 6RxGaMvTPjVFOHGH-LuqyB_xvFY
JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw
JNTP-Uri: http://news2.nemoweb.net/?DataID=RCAlRuRy_RKB_tYItKJs7fNcIs0@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Sun, 11 Aug 24 12:29:13 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="82b75c1d0a83e677ff646b52485f72f8b23749df"; logging-data="2024-08-11T12:29:13Z/8982881"; posting-account="217@news2.nemoweb.net"; mail-complaints-to="julien.arlandis@gmail.com"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: WM <wolfgang.mueckenheim@tha.de>
Bytes: 2371
Lines: 24

Le 10/08/2024 à 19:28, Jim Burns a écrit :
> On 8/10/2024 11:54 AM, WM wrote:
>> Le 09/08/2024 à 02:32, Jim Burns a écrit :
> 
>>> Surely, a lawyer wouldn't think that
>>> "Boom! Here's the conclusion"
>>> is an _argument_ ?
>>
>> ∀n ∈ ℕ: 1/n - 1/(n+1) > 0
> 
> If an interval contains unit fractions, then it contains a first one.
> 
>> Therefore there can only be a single first 
>> unit fraction.
> 
> No one has said there are two first unit.fractions.
> What forbids zero first unit.fractions?

The existence of unit frations enforces one or more first unit fractions.
> 
> What causes an exception: nₓ ∈ ℕ without ⅟(nₓ+1) ?

The end of the positivee axis.

Regards, WM