...Kurt Gödel lâcha sa bombe en 1931: il existe des théorèmes vrais, mais indémontrables! L'idée de Gödel fut comme un tremblement de terre dont les secousses se firent sentir jusque dans la société civile. Des philosophes s'en emparèrent, notamment pour affirmer un peu vite que le monde naturel et humain était assujetti à des vérités destinées à échapper pour toujours à notre investigation.