Generare una versione più complessa di questa frase La prova della parte superiore del teorema mostra anche che una teoria che non ha un limite finito sulle cardinalità dei suoi modelli deve avere un modello infinito.
Naturalmente, una versione più complessa della frase è "La prova della parte superiore del teorema mostra anche che una teoria con modelli finiti arbitrariamente grandi deve avere un modello infinito; a volte questo è considerato parte del teorema".