Re: how

On 6/10/2024 1:14 PM, Moebius wrote:

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").

Indeed! WM says what about 1, well you only said zero... 1 must be dark?

 

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.