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

On 5/8/2024 8:35 PM, Moebius wrote:

Am 08.05.2024 um 23:55 schrieb Jim Burns:

ℕ_def is what everyone else calls ℕ

>

∀n ∈ ℕ_def: ∃^ℵo m ∈ ℕ, m > n. [WM]

>
∀n ∈ ℕ_def: ∃^ℵo m ∈ ℕ_def, m > n.

>
In this case, I'd prefer
>
∀ n ∈ ℕ: ∃^ℵo m ∈ ℕ: m > n.

In favor of your preference:
a randomly.selected internetter such as yourself
is likely to find that less distracting
from what's being said.
Against your preference:
WM thinks ℕ is larger than ℕ_def  and
he will look at the non.finite claims about ℕ
and claim they are caused by darkᵂᴹ numbers.
(I know what I said. He is very good at ignoring.)
A dead horse I wish to beat one more time is that
it is the finite numbers -- all of them together --
which have these non.finite properties.
I wish to fence WM's explanations from
"darkᵂᴹ numbers in bigger set"