"Che le enciclopedie non possano esistere l'ha dimostrato nel 1931 Kurt Gödel, con un teorema che si può appunto parafrasare dicendo che nessun libro, nessuna enciclopedia, nessuna biblioteca possono esaurire la conoscenza matematica, e a maggior ragione la conoscenza in generale".
Dal capitolo "L'enciclopedia impossibile" tratto da Un Matematico Impertinente di Piergiorgio Odifreddi (2005, Longanesi Editore).