Apri il menu principale

Teorema di completezza

(Reindirizzamento da Teorema di completezza (forte))

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.

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