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

Am 20.04.2024 um 18:31 schrieb WM:

Le 20/04/2024 à 00:24, Jim Burns a écrit :

>
Each finite even is finite and below ω and is double an ordinal finite and below ω
 

Then that one directly before ω

There is no "one directly before ω", Du Depp!
Hinweis: If n is a finite ordinal (also eine natürliche Zahl), dann ist n+1 ebenfalls a finite ordinal (also eine natürliche Zahl) und n < n+1.
Hence there is no finite ordinal "directly before ω".

is not multiplied.

Ja, was es nicht gibt, kann auch nicht "mit 2 multipliziert" worden sein. In der MATHEMATIK sieht man darin keine wesentlichen Probleme.

Or it is not existing.

GENAU, Mückenheim, "it" is not existing!

But what exists directly before ω?

NICHTS, Mückenheim, NICHTS! (Nicht zu verwechseln mit dem NICHTS von Heidegger!)
On the other hand, "before" ω there are the/all finite ordinals (i.e. natural numbers) and there is no ordinal o such that An e IN: n < o < ω.
Und ja, so ist es: "Each finite even is finite and below ω and is double an ordinal finite and below ω."
Hint: {2*n : n e IN} c IN.
Viell. hast Du ja schon mal gehört, dass die geraden (natürlichen) Zahlen, natürliche Zahlen sind?