判断( 有些真理需要通过逻辑证明才能检验 )