Teorema di Löwenheim-Skolem (debole)
Da Wikipedia, l'enciclopedia libera.
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.
Portale Matematica: accedi alle voci di Wikipedia che parlano di matematica
