A logical or mathematical process indicating through a sequence of statements that a result such as a theorem or a formula necessarily follows from the initial assumptions.

• 推导逻辑推理和数学演算过程，表明定理或公式是最初假设的必然结论。