Nous présentons nos connaissances mathématiques sous la forme de brefs théorèmes parce que notre esprit rejette les formulations réellement longues (...) En bref, la façon dont nous faisons des mathématiques est humaine, trop humaine (...) à cause du théorème de Gödel, nous n'avions aucune garantie que la question puisse être résolue.
David Ruelle