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

On 13.09.2024 21:07, Jim Burns wrote:

On 9/13/2024 11:43 AM, WM wrote:

An open set holds none of its boundary.
A closed set holds all of its boundary.
 If intervals holding endpoints are open,
then single.point interval.intersections are open
and arbitrary unions of single.point.sets are open
and all point.sets are open.

Sets with definable endpoints are closed, sets with dark endpoints are open.

 "All point.sets open" is the devolution

You have not yet understood. Read what I wrote above.

of
"Obviously, Bob cannot disappear".

According to logic Bob cannot disappear in a finite step. There are no other steps even in the infinite sequence.

There is no "first" point of that interval,
just an infinite set of points

>
Yes, dark points.

 Points in ℝ[ℚ[ℤ[ℕ[⟨0,…,n⟩]]]] have no
🛇 first in (0,1]

They have but we cannot see them, but we can prove their existence.
Regards, WM