Re: because g⤨(g⁻¹(x)) = g(y) [1/2] Re: how

Le 10/05/2024 à 20:56, Jim Burns a écrit :

On 5/10/2024 8:18 AM, WM wrote:

Le 08/05/2024 à 23:55, Jim Burns a écrit :

On 5/8/2024 3:55 PM, WM wrote:

Le 07/05/2024 à 00:11, Jim Burns a écrit :

 

All which canNOT be counted.to are not.in ℕ

>
All which canNOT be counted.to are not.in ℕ_def.

>
And all which CAN be counted.to are in ℕ_def.

>
Yes.

 Thank you.
 ℕ_def is the set of all and only
numbers which CAN be counted.to.
ℕ_def is what everyone else calls ℕ

Yes, most are too stupid to see the difference: ℕ contains numbers which never can be counted to.

ℕ_def is a potentially infinite collection
and as such has no fxed number of elements.
We use the indefinite oo in this case.

 Weⁿᵒᵗᐧᵂᴹ use ℵ₀ to refer to |ℕ_def|

ℕ_def contains only numbers which can be counted to and which have ℵ₀ successors. f |ℕ_def| = ℵ₀ would  be succeeded by ℵ₀.
Regards, WM