Path: ...!news.mixmin.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!glou.org!news.glou.org!pi2.pasdenom.info!from-devjntp
Message-ID: <U8YVSGphNHvTenas6IC_7SR22wU@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Replacement of Cardinality
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <92189533-0c1f-4532-816f-564651cc8bf7@att.net> <zzRMVwrDvZCAHeIta8vMnBBxp8E@jntp>
 <c4bbc4d3-26b3-4e53-9c82-87c8396d155d@att.net> <UxK9-w52mbKHJ77U1V4M6I24HeY@jntp>
 <c8abcebe-b826-45de-8507-71521bf2d6a7@att.net> <v9vune$2unef$1@dont-email.me>
 <b476ed29-d093-47ac-b16d-a64ee620e79b@att.net> <J3NuQSpglS65L-_3eT5X2z97Eqg@jntp>
 <b660a922-3af8-4224-9c66-a750f48ec63b@att.net>
Newsgroups: sci.logic,sci.math
JNTP-HashClient: erkixkLADf8ar5CXPNGFzPgQYRk
JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw
JNTP-Uri: http://news2.nemoweb.net/?DataID=U8YVSGphNHvTenas6IC_7SR22wU@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Wed, 21 Aug 24 10:43:17 +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-21T10:43:17Z/8994986"; 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: 2277
Lines: 24

Le 20/08/2024 à 22:05, Jim Burns a écrit :
> On 8/20/2024 9:07 AM, WM wrote:

> No min.⅟ℕᵈᵉᶠ exists.

The reason is potential infinity. But dark unit fractions are assumed to 
be actually infinite.
> 
>> It starts from 0.
> 
> If ⅟ℕᵈᵉᶠ starts,
> ⅟ℕᵈᵉᶠ starts from min.⅟ℕᵈᵉᶠ
> 
> No min.⅟ℕᵈᵉᶠ exists.
> ⅟ℕᵈᵉᶠ does not start.
> 
> Because 0 is glb.⅟ℕᵈᵉᶠ not.in ⅟ℕᵈᵉᶠ

All that is correct for definable unit fractions.
But NUF(x) starts from 0 and cannot avoid to take the values 1, 2, 3, ... 
..

Regards, WM