打也打完了，骂也骂过了，时间重置过来，关还是过的，只不过只能打电话请求场外求助了。

他们几个人都不擅长这种扯淡的辩驳。

第一个电话还是李维斯。

“老李啊，有个杠铃成精的东西问我一个问题，上帝全知全能，能否制造出一个自己搬不动的石头。”

李维斯无情回答：【这种毫无意义的问题你应该问擅长诡辩的和尚，而不是一个数学家。】

“我要认识和尚就不给你打电话了，你就试着用数学来回答一下吧！”

沉默三秒，李维斯开口。

“根据哥德尔的不完备性定理，语言逻辑内部无法证明这句话的一致性时，可以通过外部的数学逻辑。”

“我将上帝无所不能设为a，举不起来大石头条件b。

则a不包含b，a与b交集为空集。