Diskussion:Satz von Łoś
Letzter Kommentar: vor 11 Jahren von Frogfol in Abschnitt "Dieser Beweis hat gegenüber Gödels Beweis den Vorteil"
"Dieser Beweis hat gegenüber Gödels Beweis den Vorteil"
[Quelltext bearbeiten]Den Vorteil hat es zwar, aber dieser Beweis hat auch Nachteile. Zum einen braucht er stärkere transfinite Annahmen, nämlich AC, während Gödel für abzählbare und allgemeiner: wohlgeordnete Sprachen ohne transfinite Methoden auskommt und auch für allgemeine Mengen nur den Ultrafiltersatz braucht. Zum anderen folgen Löwenheim-Skolem-Tarsi als Korollar zum heute üblichen Beweis. Ich finde die Darstellung im Artikel zu einseitig.--Frogfol (Diskussion) 23:53, 15. Okt. 2013 (CEST)