Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 165:
}}
 
Notare che la nozione di insieme consistente e massimale è analoga a quella di [[Logica matematica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza#Insieme di formule massimale|insieme massimale]] soddisfacibile.
 
== Correttezza e completezza ==