Sujet : Re: how
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.mathDate : 10. Jun 2024, 21:14:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v47ms3$juls$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
Am 10.06.2024 um 19:50 schrieb WM:
define natural numbers with [...] no undefinable successors.
/0/ is the smallest natural number with no undefinable successors (after all, _all_ of its ℵo "successors" are "definable", since all natural numbers are "definable").
Such numbers exist
Ja, Mückenheim, das wissen wir. Die kleinste natürliche Zahl ist z. B. so eine Zahl, duh!
because ℕ \ {1, 2, 3, ...} does not leave successors.
Nein, das ist nicht der Grund.
Hinweis: {1} \ {1, 2, 3} or {1} \ {1, 2, 3, ...} "does not leave successors" either. Andererseits gilt für JEDE Menge M, dass M\M die leere Menge ist, und damit wohl auch keine successors leaven kann (da sie M\M gar keine Elemente enthält).
Du bist einfach zu dumm für Mathematik, Mücke.