Diskussion:Löwenheim-Skolem-Theorem

aus Wikipedia, der freien Enzyklopädie

Moin, der gesamte Artikel ist sehr schwer verständlich ("Oma-Test" nicht bestanden). Das mag mit der Materie zusammenhängen; meiner Meinung nach sollte in einer Enzyklopädie aber wenigstens in den einleitenden Worten (über dem Inhaltsverzeichnis) allgemeinverständlich stehen, worum es geht und wie man sich die Problematik vorzustellen hat. Bei "Das Löwenheim-Skolem-Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen Domäne erfüllt ist." ist das aber definitiv nicht der Fall. Die mathematischen Details können für Interessierte ja weiter unten ruhig ausdiskutiert werden. Leider bin ich in Mathe nicht so gut und kann selbst nicht zur Verbesserung der Einleitung beitragen :-(. Viele Grüße --Thomas Roessing 21:17, 5. Mär 2006 (CET)