的两种数学猜想。上述两个猜想在数学上是独立的。存在时空结构使得弱审查猜想成立而强审查猜想失效；同样存在时空结构使得强审查猜想成立而弱审查猜想失效。
例子.考虑具有质量formula_1和角动量formula_2的黑洞，可用克尔度规来导出沿着黑洞轨道运动的粒子的效应势能。该势能具有如下形式：其中，formula_4是坐标半径，formula_5和formula_6分别是测试粒子的守恒能和角动量(从基灵矢量场导出构建)。为了确保宇宙审查假说成立，黑洞需要满足formula_7