Diskussion:Satz von Łoś

"Dieser Beweis hat gegenüber Gödels Beweis den Vorteil"

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)