“Se la religione è definita come un sistema di idee che contiene enunciati indimostrabili, allora Gödel ci ha insegnato che la matematica è una religione. Anzi, è l'unicareligione che può dimostrare di esserlo.”