Re: how

Le 12/06/2024 à 20:54, Jim Burns a écrit :

On 6/12/2024 2:27 PM, WM wrote:

Le 12/06/2024 à 20:18, Jim Burns a écrit :

>

ℕ \ {1, 2, 3, ...} = ?
Where are  the followers?

>
ℕ\{0,1,2,…}  =  ∅

>
So there are no followers?

 there is no j ∈ ℕ after ℕ

i.e., after all natural numbers. That means: If every number is subtracted, then no successors remain. If only definable numbersa are subtracted, then successors remain.

ℕ is the minimal inductive meta.set.

ℕ is all natural numbers. Not more and not less.

 for each j ∈ ℕ
there are ℵ₀.many followers in ℕ

Is ℕ more than every j ∈ ℕ? What is it more?
Regards, WM