Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)

on 1/8/2025, WM supposed :

On 08.01.2025 18:32, FromTheRafters wrote:

WM explained :

On 08.01.2025 12:04, FromTheRafters wrote:

WM formulated on Wednesday :

>

If ω exists, then ω-1 exists.

>
Wrong.

>
A set like ℕ has a fixed number of elements. If ω-1 does not exist, what is the fixed border of existence?

 Who says that there has to be a  fixed border of existence?

>
According to set theory every set has a fixed set of elements, not more and not less.

This applies to only finite sets.

Omega is a limit ordinal not a successor.

>
But the natural numbers are invariable. For every n, there is n+1 which is not created but simply exists.

Great for every n which are elements of N but omega is not an element of N. In the naturals, n+1 is usually axiomatic and n-1 is a theorem. In the infinite ordinals omega+1 is axiomatic and omega-1 is undefined or not existent.