：√在某些情况下，逻辑证明可以作为检验真理的另一个标准