Teorema di completezza

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 ${\displaystyle T^{\infty }}$, unione degli alberi ${\displaystyle 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 ${\displaystyle n}$ appartenente ai naturali ${\displaystyle \mathbb {N} }$ tale che l'albero ${\displaystyle T_{n}}$ della successione è chiuso.

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica