0874132人目の素数さん垢版 | 大砲2018/06/14(木) 06:53:44.48ID:ffFDISP4 ZFC + ω-huge cardinalを仮定したら NP問題が多項式時間では解けない事を示せるよ