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 ==
|