巨大数探索スレッド13

[0869 １３２人目の素数さん 2018/06/13(水) 21:24:19.65 ID:ixvJPa2q]

>>865
一応、ZFC+ω-huge cardinalの存在を仮定すれば、
Kunen's inconsistancy theoremと
principle of explosionより
NP問題が多項式時間で解けることを導ける。
まあ無意味だが。