Re: How many different unit fractions are lessorequal than all unit fractions? (infinitary)

On 28.10.2024 19:31, Jim Burns wrote:

On 10/26/2024 12:04 PM, WM wrote:

No, you falsely assume that
all natnumbers can be defined.

 I assume that
natural numbers are finite ordinals, and
 that a finite ordinal is predecessored or is 0  and
  each of its priors is predecessored or is 0, and
 that an ordinal is successored and
   a set of ordinals is minimummed or is {}

That is irrelevant with respect to the fact that between every chosen unit fraction and zero there are ℵo unit fractions which cannot be chosen. After every definable Endsegment with
|∩{E(1), E(2), ..., E(k)}| = ℵo
there remain ℵo endsegments which cannot be defined.

Try to define more unit fractions
than remain undefined.

 𝗖𝗹𝗮𝗶𝗺𝘀 exist which

do not answer the question.

 Each rational can be given as a fraction.

There remain ℵo endsegments which cannot be defined.
Otherwise the definition of accumulation point was wrong.
Regards, WM