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

Am 30.04.2024 um 15:12 schrieb WM:

Le 28/04/2024 à 19:29, Jim Burns a écrit :

On 4/27/2024 10:46 AM, WM wrote:

 

If n can be counted to from 0
then n⋅2 can be counted to _from n_
then n⋅2 can be counted to from 0 _through n_

 That is true.

*lol* Als ob Du eine Ahnung davon hättest, worum es hier geht. :-)

If n is before ω
then n⋅2 before ω

 That is not true.

Doch, das ist wahr, Du hirnloser Affe.
Hinweis: x e ORD & x < ω bedeutet x e IN.
Und auch wenn Du geisteskranker Spinner es offenbar nicht zu verstehen scheinst: n⋅2 e IN für alle n e IN.

However,
it is always true that,
if n is before ω
then n⋅2 before ω

 No.

Yes. Siehe oben.

My guess is that you (WM) feel

 Whatever you guess, {1, 2, 3, ..., ω}*2  results in {2, 4, 6, ..., ω*2}.

Und wenn Du über ein HIRN verfügen würdest, wäre Dir klar, dass "{2, 4, 6, ..., ω*2}" so zu lesen ist: "{2, 4, 6, ...} u {ω*2}" mit {2, 4, 6, ...} c IN, Du hirnloser Spinner.

crippled [brain]

Ja, sieht so aus.