定理

定理(theorem)，逻辑学名词，是指用逻辑的方法判断为正确并作为推理的根据的真命题。