原文:逻辑论证、证明与与其有效范围上的全局性