Proving a known truth by reasoning from that which is to be proved.

• 推理的用未经证明的条件来推理已知公理的