Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > de.sci.mathematik > #143656

Re: Ordinalzahlen

From Moebius <moebius@example.invalid>
Newsgroups de.sci.mathematik
Subject Re: Ordinalzahlen
Date 2026-06-02 23:42 +0200
Organization A noiseless patient Spider
Message-ID <10vnioh$37spj$1@dont-email.me> (permalink)
References (9 earlier) <10vleh4$gami$1@gwaiyur.mb-net.net> <10vmmfg$2v9i0$2@dont-email.me> <10vn90e$ma76$1@gwaiyur.mb-net.net> <10vnbr5$35ra0$1@dont-email.me> <10vnemu$mh75$1@gwaiyur.mb-net.net>

Show all headers | View raw

Am 02.06.2026 um 22:33 schrieb Thomas 'PointedEars' Lahn:
> WM wrote:
>>
>> Im Rahmen der klassischen zweiwertigen Logik geht man davon aus, dass
>> nächst ω eine natürliche Zahl existiert oder nicht existiert. [...]
>>
> "Nächst" ist keine wohldefinierte mathematische Relation.

Die Mückenmatik kommt bekanntlich ganz ohne explizite Definition der 
Begriffe aus, die sie verwendet.

Es wäre aber DENKBAR, dass Mückenheim mit "nächst" hier (weil es ja um 
Ordinalzahlen geht) etwas meint, das man wie folgt definieren könnte:

	x ist nächst y :<-> ~Ez e ORD: x < z < y     (x,y e ORD)

Basierend auf dieser Definition kann man leicht zeigen (also _beweisen_ 
- ein weiteres Konzept, das Mückenheim nicht versteht), dass es keine 
natürliche Zahl gibt, die "nächst ω" ist.

.
.
.


-- 
Diese E-Mail wurde von Avast-Antivirussoftware auf Viren geprüft.
www.avast.com

Back to de.sci.mathematik | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Gibt es eine dritte Alternative? wm <wolfgang.mueckenheim@tha.de> - 2026-05-27 14:29 +0200
  Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-05-27 16:17 +0200
    Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-05-27 16:36 +0200
      Re: Gibt es eine dritte Alternative? Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-05-28 00:04 +0200
        Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-05-28 06:16 +0200
          Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-05-28 06:28 +0200
            Re: Gibt es eine dritte Alternative? Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-05-28 13:22 +0200
              Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-05-28 16:01 +0200
                Achtung - Schreibfehler ! Jens Kallup <paule32.jk@gmail.com> - 2026-05-28 16:09 +0200
                Re: Gibt es eine dritte Alternative? Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-05-28 18:59 +0200
                Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-05-28 20:59 +0200
                Re: Gibt es eine dritte Alternative? Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-05-29 03:32 +0200
                Re: Gibt es eine dritte Alternative? Carlos Naplos <carna@onlinehome.de> - 2026-05-29 12:33 +0200
                Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-05-29 13:46 +0200
  Re: Gibt es eine dritte Alternative? Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-05-28 00:02 +0200
    Re: Gibt es eine dritte Alternative? WM <wolfgang.mueckenheim@tha.de> - 2026-05-28 15:02 +0200
      Re: Gibt es eine dritte Alternative? Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-05-28 18:57 +0200
      Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-05-31 17:22 +0200
        Re: Gibt es eine dritte Alternative? WM <wolfgang.mueckenheim@tha.de> - 2026-06-01 16:25 +0200
          Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 16:55 +0200
          Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 16:56 +0200
            Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 17:08 +0200
              Re: Gibt es eine dritte Alternative? wm <wolfgang.mueckenheim@tha.de> - 2026-06-01 18:39 +0200
                Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 19:33 +0200
                Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 19:45 +0200
                Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 21:35 +0200
                Re: Gibt es eine dritte Alternative? wm <wolfgang.mueckenheim@tha.de> - 2026-06-01 22:18 +0200
                Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 22:40 +0200
                Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 23:08 +0200
                Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 23:52 +0200
                Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 23:58 +0200
                Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 23:58 +0200
                Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-06-02 08:19 +0200
                Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-06-02 08:23 +0200
                Re: Gibt es eine dritte Alternative? WM <wolfgang.mueckenheim@tha.de> - 2026-06-02 15:42 +0200
                Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-06-02 16:27 +0200
            Re: Gibt es eine dritte Alternative? wm <wolfgang.mueckenheim@tha.de> - 2026-06-01 18:42 +0200
              Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-01 19:13 +0200
                Re: Gibt es eine dritte Alternative? wm <wolfgang.mueckenheim@tha.de> - 2026-06-01 22:25 +0200
                Re: Gibt es eine dritte Alternative? Alan Mackenzie <acm@muc.de> - 2026-06-01 21:59 +0000
                Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-06-02 00:10 +0200
                Re: Gibt es eine dritte Alternative? WM <wolfgang.mueckenheim@tha.de> - 2026-06-02 15:37 +0200
                Ordinalzahlen (was: Gibt es eine dritte Alternative?) Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-02 04:18 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-02 04:32 +0200
                Re: Ordinalzahlen WM <wolfgang.mueckenheim@tha.de> - 2026-06-02 15:45 +0200
                Re: Ordinalzahlen Marc Olschok <nobody@nowhere.invalid> - 2026-06-16 23:05 +0000
                Re: Ordinalzahlen Hans Crauel <crauel_usenet@freenet.de> - 2026-06-17 00:55 +0000
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-17 08:20 +0200
                Re: Ordinalzahlen Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-18 04:57 +0200
                Alphabet (was: Ordinalzahlen) Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-22 13:36 +0200
                Re: Ordinalzahlen Marc Olschok <nobody@nowhere.invalid> - 2026-06-28 23:53 +0000
                Re: Ordinalzahlen wm <wolfgang.mueckenheim@tha.de> - 2026-06-29 09:46 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-29 10:02 +0200
                Re: Ordinalzahlen Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-29 13:15 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-29 17:32 +0200
                Re: Ordinalzahlen "Klaus H." <kl.huller@web.de> - 2026-06-29 17:38 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-29 18:58 +0200
                Re: Ordinalzahlen Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-30 04:03 +0200
                Re: Ordinalzahlen Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-30 04:18 +0200
                Re: Ordinalzahlen Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-30 04:01 +0200
                Re: Ordinalzahlen ram@zedat.fu-berlin.de (Stefan Ram) - 2026-06-17 10:48 +0000
                Re: Ordinalzahlen WM <wolfgang.mueckenheim@tha.de> - 2026-06-17 14:08 +0200
                Re: Ordinalzahlen WM <wolfgang.mueckenheim@tha.de> - 2026-06-17 14:05 +0200
                Re: Ordinalzahlen WM <wolfgang.mueckenheim@tha.de> - 2026-06-02 15:40 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-02 16:05 +0200
                Re: Ordinalzahlen Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-02 20:58 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-03 08:20 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-03 17:27 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-03 22:15 +0200
                Re: Ordinalzahlen Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-02 20:56 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-02 21:33 +0200
                Re: Ordinalzahlen WM <wolfgang.mueckenheim@tha.de> - 2026-06-02 21:44 +0200
                Re: Ordinalzahlen Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-02 22:33 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-02 23:37 +0200
                Re: Ordinalzahlen WM <wolfgang.mueckenheim@tha.de> - 2026-06-03 22:35 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-04 08:18 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-04 17:59 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-04 18:14 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-04 18:40 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-04 18:23 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-05 02:50 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-05 03:06 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-05 03:13 +0200
                Re: Ordinalzahlen WM <wolfgang.mueckenheim@tha.de> - 2026-06-05 16:05 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-02 23:38 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-02 23:42 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-03 00:04 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-03 22:45 +0200
                Re: Ordinalzahlen WM <wolfgang.mueckenheim@tha.de> - 2026-06-03 22:33 +0200
                Re: Ordinalzahlen Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-04 06:03 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-04 15:36 +0200
                Re: Ordinalzahlen WM <wolfgang.mueckenheim@tha.de> - 2026-06-04 22:34 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-05 04:09 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-05 04:52 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-06 00:59 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-06 02:32 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-06 02:37 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-06 10:06 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-06 22:17 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-07 09:32 +0200
                Re: Ordinalzahlen Martin Vaeth <martin@mvath.de> - 2026-06-07 12:24 +0000
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 16:24 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 16:39 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 17:06 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 17:08 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 17:19 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 17:23 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-07 20:21 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-07 20:31 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 20:55 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-07 22:02 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 23:18 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-08 06:23 +0200
                Re: Ordinalzahlen Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-06-08 19:58 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 20:49 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-08 20:55 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 22:38 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 20:57 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 21:17 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 20:41 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-07 22:18 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-07 23:45 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-08 06:35 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-08 06:50 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 18:33 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 18:35 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 18:38 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 18:39 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 18:45 +0200
                Kardinalzahlen (was: Ordinalzahlen) Moebius <moebius@example.invalid> - 2026-06-08 19:12 +0200
                Re: Kardinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 19:26 +0200
                Re: Kardinalzahlen Moebius <moebius@example.invalid> - 2026-06-09 08:22 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 19:36 +0200
                Re: Ordinalzahlen Jens Kallup <paule32.jk@gmail.com> - 2026-06-08 20:54 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 22:14 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-09 03:11 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-08 18:08 +0200
                Re: Ordinalzahlen Moebius <moebius@example.invalid> - 2026-06-02 23:46 +0200
                Re: Gibt es eine dritte Alternative? Jens Kallup <paule32.jk@gmail.com> - 2026-06-02 08:30 +0200
      Re: Gibt es eine dritte Alternative? Moebius <moebius@example.invalid> - 2026-05-31 17:26 +0200

csiph-web