Una consecuencia importante del teorema de la completitud es el teorema de la compacidad. El teorema de la compacidad establece que si cada subconjunto finito de un conjunto de oraciones es satisfacib...Una consecuencia importante del teorema de la completitud es el teorema de la compacidad. El teorema de la compacidad establece que si cada subconjunto finito de un conjunto de oraciones es satisfacible, todo el conjunto es satisfecho, incluso si el conjunto en sí es infinito.
