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

On 12/15/24 1:57 PM, WM wrote:

>
Dark numbers are required to empty ℕ by |ℕ \ {1, 2, 3, ...}| = 0. All definable numbers fail: ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.

And why do you need to do that?