Idee fondamentali e tecniche che stanno alla base dei risultati di
indecidibilità e incompletezza: teoria della ricorsività; indagini
metalogiche sui sistemi formali. Introduzione alla logica del secondo
ordine e la questione dei modelli non-standard.