Se la religione è definita come un sistema di idee che contiene enunciati indimostrabili, allora Godel ci ha insegnato che la matematica è una religione. Anzi, è l'unica religione che può dimostrare di esserlo. [John D. Barrow]