“La logica è lo studio della ragione e la logica matematica è lo studio matematico della ragione matematica. Nell'uno come nell'altro caso, la logica permette di evitare le trappole in cui si cade quando si usa il linguaggio, comune o matematico, troppo allegramente, come in altre discipline meno disciplinate di essa. Gli esempi classici di queste trappole sono le nozioni di verità e di infinito, che costituiscono i due fili conduttori del nostro racconto. Ma la logica costruisce, oltre che decostruire: in particolare, rende esplicite le strutture del linguaggio e del pensiero che usiamo quotidianamente. Di questo e altro parleremo in questa introduzione alla logica, figlia del paradosso e madre della ragione”. (Piergiorgio Odifreddi)