Re: how

Am 13.06.2024 um 18:04 schrieb Moebius:

Am 13.06.2024 um 17:55 schrieb WM:

Daher würde ich es lieber so formulieren (um das klar zu stellen):
 | Every number has ℵo numbers as successors.
| If only numbers having ℵo successors are removed (i.e. _all_ numbers)
| then nothing remains.

Hier anhand einiger Beispiele im Detail erklärt:
Die Zahl 1 hat die ℵo Zahlen 2, 3, 4, ... als "Nachfolger".
Die Zahl 2 hat die ℵo Zahlen 3, 4, 5, ... als "Nachfolger".
Die Zahl 3 hat die ℵo Zahlen 4, 5, 6, ... als "Nachfolger".
:
Die Zahl n hat die ℵo Zahlen n+1, n+2, n+3, ... als "Nachfolger".
:
D. h. _alle_ Elemente in IN haben ℵo Elemente in IN als "Nachfolger".
Wenn man nun die Differenzmenge von IN und der Menge {n e IN : n hat ℵo Elemente in IN als "Nachfolger"} betrachtet, dann ist das IN \ IN = { }.
-> nothing remains.