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

Am 15.05.2024 um 15:18 schrieb WM:

Le 14/05/2024 à 16:26, Moebius a écrit :

Am 13.05.2024 um 22:21 schrieb WM:
>

Try to remove all natural numbers individually from ℕ.

>
Wie stellst Du Dir das vor? Muss man sie in Mückenhausen einzeln von Hand removen? Das kann in der Praxis [->kein Supertask] lange dauern!

 You can remove what is removable individually.

>
Ich hätte einen Alternativvorschlag: Man kann das mithilfe der "großen Differenz" (\) so hinschreiben:
>
IN \ {1} \ {2} \ {3} \ ... = IN \ {{1}, {2}, {3}, ...}
>
Ist das nicht "individuell" genug?

 Individually means you can name the individuals,

Ja, man sieht dass Du Dinge ad hoc "definierst", wie es Dir im jeweiligen Moment gerade passt, Du dummer Spinner.
Also man kann in der Tat jeder natürlichen Zahl einen eigenen Namen zuordnen. Am Einfachsten geht das so, dass man n eine Strichliste der Länge n zuordnet (für jedes n e IN):
1 <-> "|"
2 <-> "||"
3 <-> "|||"
usw.
Dass man man Dir schon gefühlt 1000-mal gesagt, Depp.
Man BRAUCHT das aber nicht zu tun. Man kann mit natürlichen Zahlen auch ganz gut OHNE ihre jeweiligen Namen "arbeiten".
So gilt z. B. An e IN: n + n = 2*n
oder: An e IN: 2*n e IN usw.
"Einzelne Namen" braucht man dafür nicht. Im Gegenteil, "allgemeines" kann man (allein) damit eben gerade NICHT ausdrücken.