title: Teorema di completezza
text: # Teorema di completezza
  
  Nella logica matematica il teorema di completezza (debole) afferma che:
  
     Una teoria è soddisfacibile se e solo se l'albero unione $T^{\infty }$, unione degli alberi $T_{n}$ della successione costruita a partire da una teoria, è aperto.
  
  Nella logica matematica il teorema di completezza (forte) afferma che:
  
     Una teoria è non soddisfacibile se e solo se esiste un $n$ appartenente ai naturali $\mathbb {N}$ tale che l'albero $T_{n}$ della successione è chiuso.
  