定理

相关tags:

定理名词解释：演绎系统中被断定的公式或命题。即公理或依据公理和推导规则证明的公式或命题。