«Η έννοια της απόδειξης είναι ένα είδωλο, μπροστά στο οποίο ο μαθηματικός βασανίζει τον εαυτό του.»