Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Moebius <invalid@example.invalid>
Newsgroups: sci.math
Subject: Re: how
Date: Thu, 13 Jun 2024 18:12:40 +0200
Organization: A noiseless patient Spider
Lines: 25
Message-ID: <v4f5pp$2bakc$1@dont-email.me>
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp> <v4ddl5$1t7mj$1@dont-email.me>
 <v4deb8$1t3b2$2@dont-email.me> <RQOnPDMm0rMyJD6K6EdMmbIvn7o@jntp>
 <v4evm0$2aak9$1@dont-email.me> <oGk2lEFO_z2bWiXdGbWMPNjvm5Q@jntp>
 <v4f1m8$2aaka$4@dont-email.me> <DkWd1bBpbTzdUYcLsGErF7ZAtps@jntp>
 <v4f33g$2aaka$5@dont-email.me> <v4f4bu$2b4pi$1@dont-email.me>
 <EQZM0MIF2q1G94aSXjL5qH7K7iw@jntp> <v4f59v$2bakb$1@dont-email.me>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 13 Jun 2024 18:12:41 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f62c1bcfe5a0cd9122346772eab5bfd8";
	logging-data="2468492"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19/mfJrPpI0ib0qVi+IdcrD"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:TW7ibPRrU2sE/JjMm9XnQEPcwGU=
Content-Language: de-DE
In-Reply-To: <v4f59v$2bakb$1@dont-email.me>
Bytes: 2227

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.