Teorema di Löwenheim-Skolem (debole)
Da Wikipedia, l'enciclopedia libera.
Questa voce è solo un abbozzo (stub). Se puoi, contribuisci adesso a migliorarla secondo le convenzioni di Wikipedia. Per l'elenco completo degli stub di matematica, vedi la relativa categoria.
Teorema di Löwenheim-Skolem (debole): Se un insieme di enunciati Γ ha modello infinito allora ha modello di qualsiasi cardinalità maggiore od uguale alla cardinalità del linguaggio .
Il teorema prende il nome da Leopold Löwenheim e Thoralf Skolem, esso viene chiamato debole in quanto i risultati avviati da Löwenheim e completati da Skolem portano a conclusioni più forti di quelle che sono qui esposte.