Le problème P = NP est le problème fondamental du calcul mathématique. A partir de quel moment, et sous quelles conditions, un énoncé difficile à démontrer et jugé très probable doit-il être adopté comme nouvel axiome ?