Fondamenti di Teoria della Dimostrazione. Calcoli delle sequenze e loro proprietà.

Hauptsatz. Interpolazione.

Il programma di Hilbert. Estensioni e applicazioni a sistemi aritmetici. L'approccio di Hilbert esteso: Gentzen. Prove di consistenza via induzione transfinita.