Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: WM <wolfgang.mueckenheim@tha.de>
Newsgroups: sci.math
Subject: Re: Zwei Mengen // TH7 Definitionen
Date: Thu, 13 Mar 2025 18:16:54 +0100
Organization: A noiseless patient Spider
Lines: 15
Message-ID: <vqv3u7$3eapu$2@dont-email.me>
References: <vqu6cj$3595f$2@dont-email.me> <m3fmn1Fu43vU1@mid.individual.net>
 <vqu9c1$36749$1@dont-email.me> <m3g1dsF14vhU1@mid.individual.net>
 <vqulki$38smv$1@dont-email.me> <vquqtj$3brpp$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 13 Mar 2025 18:16:55 +0100 (CET)
Injection-Info: dont-email.me; posting-host="ed22730a009f65a5192a721e5374f938";
	logging-data="3615550"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/5YZDS5jdLWBXBrCzy+cZhvT7oaUDm9mY="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:K9i3T/7QH78eGFAompNuvF57AtQ=
Content-Language: en-US
In-Reply-To: <vquqtj$3brpp$1@dont-email.me>
Bytes: 1624

On 13.03.2025 15:42, Moebius wrote:
> Entweder ist IN_def 
> (wenn es denn eine Menge ist) endlich oder unendlich. So etwas wie 
> "potentiell unendliche" Mengen gibt es nicht

Hier die Definition einer induktiven Menge von natürlichen Zahlen, die 
also zwar unendlich ist, aber zu der ℵo natürliche Zahlen *nicht* gehören:
|ℕ \ {1}| = ℵo.
Wenn |ℕ \ {1, 2, 3, ..., n}| = ℵo
dann |ℕ \ {1, 2, 3, ..., n+1}| = ℵo.

Gruß, WM