Teorema di completezza: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
sposto da Teorema di completezza (forte) |
da controllare/sposto da Teorema di completezza (debole) |
||
Riga 1:
{{C|Non si spiega cosa sono gli alberi Tn, non si spiega l'utilità dei teoremi; non si menziona il teorema di completezza di Godel|matematica|aprile 2007|[[Utente:Popop|Popop]]}}
{{S|matematica}}
Nella [[logica matematica]] il '''Teorema di completezza (debole)''' afferma che:
<blockquote>
Una [[teoria]] è soddisfacibile se e solo se l'albero unione <math>T^\infty</math>, unione degli alberi <math>T_n</math> della successione costruita a partire da una teoria, è aperto.
</blockquote>
Nella [[logica matematica]] il '''Teorema di completezza (forte)''' afferma che:
| |||