Comment by zarzavat

It might make the third option, that P vs NP cannot be proven true or false, somewhat less likely.