Teorema di completezza: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m grammatica
 
Riga 1:
{{S|logica}}
 
Nella [[logica matematica]] il '''Teoremateorema di completezza (debole)''' afferma che:
 
<blockquote>
Riga 7:
</blockquote>
 
Nella [[logica matematica]] il '''Teoremateorema di completezza (forte)''' afferma che:
 
<blockquote>