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