1. Forum
  2. Usenet
  3. SCI.MATH

  • Re: Zwei Mengen // TH7 Definitionen

    From WM@21:1/5 to Moebius on Thu Mar 13 18:16:54 2025
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)