Grâce aux notions probabilistes, les logiciens démontrent que l'incomplétude de Gödel est beaucoup plus grave et incontournable que tout ce que l'on pouvait craindre