El teorema de Löwenheim-Skolem descendente establece que si ℒ tiene un modelo de cardinalidad K, entonces también tiene al menos un modelo de cardinalidad menor o igual a K.