La Completezza di Gödel

Il presente lavoro è una esposizione di argomenti di logica matematica trattati nel testo “Introduzione alla logica matematica”; quindi non aggiunge nulla dal punto di vista dei contenuti del testo di Mendelson, ma ha un pregio (almeno ci si augura): esso illustra e dettaglia le argomentazioni che non sono sviluppate ma solo indicate da Mendelson; pertanto in questa veste va visto come un completamento di notevole utilità.