这就回到了逻辑学。逻辑，有可能有时候不需要验证。