ZFCと未定義空間と公理空間とP=NP問題について。
kingさん調べてくれくれ。