En lógica matemática, el teorema de Löwenheim-Skolem o teorema de Löwenheim-Skolem-Tarski es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.[1]​ Más precisamente: sea T un subconjunto consistente de un lenguaje de primer orden ℒ : si T es finito o numerable, entonces tiene al menos un modelo con dominio finito o numerable.[2]​ Esto significa que las teorías de primer orden no pueden controlar la cardinalidad de sus modelos: ninguna teoría consistente puede tener sólo modelos isomórficos. Wikipedia