Les mathématiques ne se laissent enserrer dans aucun cadre formel, quelle que soit l'opiniâtreté des efforts déployés. Tel est le théorème d'incomplétude qui rend Gödel célèbre. Et on comprend son importance : il s'agit d'un théorème mathématique, démontré avec toute la rigueur et la fiabilité des mathématiques, et qui, en même temps, a une portée absolument générale.
