我始终有一个感觉 那就是，你还是有更高的prior 要不然，哥德尔怎么确信的，true 不能被证明为 true 你用了更高的prior证明了true，而不是底层的prior