Re: Replacement of Cardinality

Le 08/08/2024 à 00:17, Moebius a écrit :

Actually, his "thinking process" is simple:
 "Since there is a gap (space) between adjacent unit fractions and all unit fractions are in the interval (0, 1], there must be FINITELY MANY of them (i.e. a first/smallest one)."

No, that is nonsense. There are not finitely many unit fractions. The argument is this:
NUF(0) = 0. Never more than one unit fraction can be added simultaneously to NUF(x).
==> Exists x with x = INVNUF(1).
Regards, WM