Diskussion:Mengenuniversum

Einleitung

Hä? Nach dem, was in der Einleitung am Ende steht, enthält "das ZF-Mengenuniversum" nur die leere Menge. ZF ist in Wahrheit aber gerade eine "reine Mengenlehre" in dem Sinn, dass es nichts anderes als Mengen gibt (man fasst einfach das Diskursuniversum so auf: es gibt nur eine Sorte, die Elemente dieser Sorte interpretieren wir intuitiv als "Mengen", und wir haben eine zweistellige "Element"-Relation auf dieser Sorte) -- insbesondere sind alle Elemente von Mengen Mengen. --Daniel5Ko (Diskussion) 18:30, 24. Mär. 2022 (CET)

Die Formulierung war aus der angegebenen Quelle übernommen, aber tatsächlich nicht glücklich. Du kannst den Artikel gerne verbessern. Es ist halt schwierig, Quellen zu finden.—Butäzigä (Diskussion) 18:52, 24. Mär. 2022 (CET)

Ok. --Daniel5Ko (Diskussion) 19:55, 24. Mär. 2022 (CET)

Formulierung

Beim Drüberlesen sind mir ein paar Dinge in der Formulierung aufgefallen: Im Abschnitt zum Konstruierbarkeitsaxiom sollte klargestellt werden, dass es nicht Bestandteil von ZF ist. Die aktuelle Formulierung suggeriert das "Das Konstruierbarkeitsaxiom besagt...". Die Definition der Stufen $V_{\alpha }$ ist eigentlich unabhängig von diesem Axiom und die acht Fundamentaloperationen liefern Mengen namens $L_{\alpha }$. Das Konstruierbarkeitsaxiom liefert dann erstmal $V=L$. Im Allgemeinen folgt daraus nicht $V_{\alpha }=L_{\alpha }$ für alle $\alpha$. --Wandynsky (Diskussion) 19:16, 14. Okt. 2022 (CEST)

Keine Einwände.—Butäzigä (Diskussion) 22:37, 14. Okt. 2022 (CEST)