Teorema di completezza
![Abbozzo](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Puzzle_stub.svg/45px-Puzzle_stub.svg.png)
Questa voce sull'argomento logica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
Nella logica matematica il teorema di completezza (debole) afferma che:
- Una teoria è soddisfacibile se e solo se l'albero unione , unione degli alberi 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 appartenente ai naturali tale che l'albero della successione è chiuso.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)