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

On 1/4/25 3:42 AM, WM wrote:

>

On 1/3/2025 2:48 PM, WM wrote:

On 03.01.2025 19:46, Jim Burns wrote:

>
All finite.ordinals removed from
the set of each and only finite.ordinals
leaves the empty set.

>
But removing every ordinal that you can define (and all its predecessors) from ℕ leaves almost all ordinals in ℕ.∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo
>

And what keep you from "defining" the rest of the Natural Numbers.