Teorema completitudinii

În logica matematică (slabă) teorema completitudinii afirmă că:

O teorie este satisfăcătoare dacă și numai dacă arborele unirii $T^{\infty }$ ${\ displaystyle T ^ {\ infty}}$ ${\ displaystyle T ^ {\ infty}}$ , unirea copacilor $T_{n}$ ${\ displaystyle T_ {n}}$ $T_ {n}$ a secvenței construite dintr-o teorie, este deschisă.

În logica matematică, teorema completă (puternică) afirmă că:

O teorie este nesatisfăcătoare dacă și numai dacă există o $n$ ${\ displaystyle n}$ $n$ aparținând naturilor $\mathbb {N}$ ${\ displaystyle \ mathbb {N}}$ $\ N$ astfel încât arborele $T_{n}$ ${\ displaystyle T_ {n}}$ $T_ {n}$ a succesiunii este închisă.

Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică