本来の閉世界仮説を導入することで一貫性を失うかどうかの判定はNP預言機械を最大でも対数回呼び出す必要があるが、この問題の正確な複雑性は未知である。
检查最初的封闭世界假定是否介入矛盾，要求对NPoracle的最多对数次的调用，这个问题的精确的复杂性还不知道。