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

L'approccio al problema della deduzione seguito nei sistemi assiomatici consiste nell'individuare un insieme di proposizioni da cui partire, come dei ''principi'' che ci permettano di ottenere altre proposizioni, e di limitare al minimo il numero di regole di inferenza. Le proposizioni da cui partire, che quindi vengono assunte come primitive, sono gli ''assiomi'' (''logici'').

 

{{avanzamento|100%}}