Un viaggio che porta dalla logica aristotelica alla teoria degli insiemi di Cantor, passando per la formalizzazione di Frege, fino alle sorprendenti implicazioni di Gödel sulla consistenza dei sistemi matematici.