Re: Replacement of Cardinality

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.