Teorema da compacidade
Origem: Wikipédia, a enciclopédia livre.
Atenção: Este artigo ou secção não cita as suas fontes ou referências.
O teorema da compacidade diz que nunca será necessário um conjunto infinito (Γ) de premissas para modelar uma fórmula α.
Se Γ | = α então existe um subconjunto finito Γ0={α1,...,αn} ⊆ Γ tal que Γ0 | = α.