Re: Zwei Mengen // TH7 Definitionen

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