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

On 08.01.2025 14:31, Jim Burns wrote:
 

⦃k: k < ω ≤ k+1⦄ = ⦃⦄
ω-1 does not exist.
 

Let us accept this result.
Then the sequence of endsegments loses every natnumber but not a last
one.

Then the empty intersection of infinite but inclusion monotonic
endsegments is violating basic logic. (Losing all numbers but keeping
infinitely many can only be possible if new numbers are acquired.)