Io credo che un giorno verrà dimostrata l'indecidibilità di P=NP a partire dagli assiomi standard.