Re: The set of necessary FISONs

On 31.01.2025 14:12, FromTheRafters wrote:

WM formulated on Friday :

On 31.01.2025 11:43, FromTheRafters wrote:

WM explained :

On 31.01.2025 11:02, FromTheRafters wrote:
>

Ordinals aren't guaranteed to increase.

>
What ordinal has not a greater successor?
Ordinals n are well-ordered. The distance from 0 is n - 0 = n.

>
Starting with omega, they are all countably infinite until you reach the uncountably infinite.

>
ω < ω + 1, < ω + 2 < ... < ω + ω = ω2 < ω2 + 1 < ...

 Each of which is countably infinite.

>
That is not of interest. According to Cantor, every set of ordinals has a smallest element. Each is greater than its predecessor.