From:  "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Date:  02 Sep 2024 03:09:59 Hong Kong Time
Newsgroup:  news.alt119.net/sci.logic
Subject:  

Re: Replacement of Cardinality

NNTP-Posting-Host:  null

On 8/31/2024 8:27 PM, Moebius wrote:
> Am 01.09.2024 um 04:54 schrieb Chris M. Thomasson:
> 
>> I still don't know how WM is going to count the opposite way wrt:
>>
>> 1/1, 1/2, 1/3, 1/4, ...
>>
>> That would be:
>>
>> ..., 1/4, 1/3, 1/2, 1/1
>>
>> He can't do it.
> 
> Yeah, but a function can do it.
> 
> NUF(x) := the cardinal number of unit fractions that are smaller than x 
>   (where x is a real number)
> 
> Then we get, say, NUF(0) = 0 and, say, NUF(1/1) = aleph_0, NUF(1/2) = 
> aleph_0, NUF(1/3) = aleph_0, etc.
> 
> In general, for all x e IR, x > 0: NUF(x) = aleph_0.
> 

How does that fit with WM who thinks there is a smallest unit fraction 
to start counting from?