>>478
> 時刻Tにおいて全知全能の神は自分が時刻T + 1に場所B以外の場所に
> いないことを知っている(必要なら決断せよ)。

この命題が恒真でないので，この証明はこの命題以降成り立っていない
よって無効