Satz von Löwenheim-Skolem
Der Satz von Löwenheim-Skolem besagt, dass eine abzählbare Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einem überabzählbar unendlich großen Universum erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen Domäne erfüllt ist.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.