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

On 17.12.2024 19:52, Jim Burns wrote:

On 12/17/2024 4:00 AM, WM wrote:

Each finite.cardinal i after 0
is countable.to from.0
∃⟦0,i⦆ smaller than Bobbed ⟦0,i⦆∪{Bob}

Stop inventing new nonsense words. Do you really think anybody would read your trash??? Be sure, I do not waste my time with it.
We have the sequence of intersections of endsegments
f(k) = ∩{E(1), E(2), ..., E(k)} with E(1) = ℕ
and the definition of that function
∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
and the fact that ∩{E(1), E(2), ...} is empty.
More is not required to prove the existence of finite endsegments.
Regards WM