Un percorso che porta dalla geometria euclidea alla logica di Gödel, illustrando con esempi storici e analisi concetti chiave come postulati, sistemi formali e incompleteness, mostrando l’evoluzione del pensiero matematico.