ZFC + ω-huge cardinalを仮定したら
NP問題が多項式時間では解けない事を示せるよ