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

On 25.01.2025 14:09, joes wrote:

Am Sat, 25 Jan 2025 12:14:18 +0100 schrieb WM:

∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.
To have infinitely many would require to use also the ℵo successors.

Why don't you use them?
 

They are outside of FISONs F(n) = {1, 2, 3, ..., n}.
Note the universal quantifier in
∀n ∈ UF(n): |ℕ \ {1, 2, 3, ..., n}| = ℵo
Regards, WM