The method of proof in which a known truth is sought as a consequence of a series of deductions from that which is the thing to be proved.

• 解析，一种证明方法，即把已知事实作为将被证明的一系列演绎过程的结果。