Löwenheim-Skolem-Satz
Löwenheim-Skolem-Satz [nach dem Logiker und Mathematiker Leopold Löwenheim, * 1878, † 1957, und T. Skolem],
von Löwenheim 1918 bewiesener Satz: Jede überhaupt erfüllbare Formel der Prädikatenlogik erster Stufe ohne freie Gegenstandsvariable ist schon in einem höchstens abzählbar unendlichen Individuenbereich erfüllbar. Dieses für die Grundlagen der Mathematik bedeutsame Ergebnis wurde 1920 von T. Skolem auf die gemeinsame Erfüllbarkeit abzählbar unendlich vieler Formeln erweitert.
Informationen zum Artikel
Quellenangabe