El teorema de Löwenheim-Skolem descendente es una propiedad clave, junto con el teorema de compacidad, para caracterizar a la lógica de primer orden.