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

On 15.12.2024 21:20, joes wrote:

Duh. All naturals are finite. You need to actually remove all inf.many
of them.

That is not possible with definable naturals:
∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.
And numbers which succeed
∀k ∈ ℕ: ∩{E(1),E(2),...,E(k+1)} = ∩{E(1),E(2),...,E(k)}\{k}
produce finite endsegments and therefore are invisible.
Regards, WM